Update documentation: parse_JSON() is now implemented