GPG stuff and JavaScript UI stuff