Update documentation

Also fix formatting so Eclipse will parse it for inline help.