Formatted Documentation for ENSIME