[tor-commits] [torspec/master] Move xxx-hide-platform.txt into old at Karsten's suggestion