3 ms·

That quote doesn't say there is any server-side PGP. It could have been happening in javascript in the browser.