[tor-commits] [tor/master] Prune the .may_include files a bit; detect unused lines in them