Add PrettyMonitor to docs. See #254