More user documentation (should be in a .texi, but putting it in mode docstrings is good enough for now)