Jmangle: User Documentation