Jumble of updates

This is basically a ‘this is what I’ve done since the last push’ push.
The features are rather undocumented, half-implemented, and most likely
buggy. I am sorry. At the end of the day, the user guide is this: Good
Luck.