Idea: GPG signatures within HTML