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.