Nice, but how did you port openpgp to Javascript?