Webinterface "swallows" email part of User-IDs

Hey! I noticed that dump.sequoia-pgp.org does not properly display the email part of User-IDs. Alice <alice@example.org> is being displayed as Alice instead. That's probably because the email part is not properly escaped, meaning the browser will interpret the email part as an HTML tag, rendering it invisible.

User-IDs should probably be escaped prior to displaying them?