Maybe a mention in "What's New?" too? (perhaps just a pointer to this note).