Misc tasks and features that would be nice to add one day, but not before publication