Beef up some various documentation

Closes #414