PGP Web Interface for cryptographic operations, to be run locally through PHP's development server.