Fix #419 - Add user agent header as metadata

We can add a mechanism to show it in the UI later. But for now, if you click "edit" from GitHub you will see it. Or in the page source.

(and remove some obsolete comments).

r? @karlcow