Lots of new documentation, in better formatting for new opts