[sage-devel] @rename_keyword without ticket number

[Jori Mäntysalo]

There are, in 21 different files, 31 @rename_keyword statements without a
trac number.

Could we fix them, and if so, is it possible to always require the ticket
number, i.e. deprecation-parameter?