[tor-commits] [tor/master] Note when 13291 was introduced.