@burnout426
Thank you! And thank you for specifying all the details of how to install the update.

Since it seems dr34polw is no longer engaged, I wonder if it would make sense for you to create a new extension. That way the updated user agents would install automatically, without all the work you specified.

I might be mistaken, but I'm a little concerned that there's too much room for error if I go thru all those stages myself.

If the extension creator (@dr34polw) can't update the user agent list, can someone else who knows how do it?