Update ID of rotate() to reflect (not so) new name
Warnings for infinite loops and dirty corner cases
Reminder in RELEASING: we have (a few) tests!

It would be better to have procedures that systematically run them,
but currently they are quite unpractical.