Remove the left-over `__ua__` fragment from the devtools extension