stuff into code comments, and lots of it is going to be useful again (but
hard to predict exactly which parts of it ...).