Post #2751746

@myfonj@typo.social yup, that definitely goes in the «not a User Agent anymore» category. It's a little tangential, so I'm wondering if I should put that list on a separate document …