>>* There is no established policy on deprecating or renaming
>>  thorns/parameters. Zach proposed that we should set a clear policy
>>  for the timescale on which these things can be done, and the
>>  procedure for doing so.

>Such a policy exists: