[tor-commits] [torspec/master] document when we added 15588