Assorted documentation and formatting cleanups

This could be `and_then(from_str)`, but I'm not sure that's more clear.