* Top-align the information text, so that a single line of text is
  properly aligned with the title.
* Check fingerprint instead of grip to check for key.
* Emphasize informational texts.
* Force interpretation of text including user input as plain text to avoid
  problems with HTML, e.g. in user IDs.