[tor-commits] [tor/master] Add missing **/ to core_or.dox