Puttering and clean-up.
This is probably the root of #70, but it’s been declared dead before.