[tor-commits] [torspec/master] Remove a very obsolete note about compatibility notes