Thank you for your review! As mentioned before the 3MiB+ extra data shipped with the extension is used to generate sensible values for the other `navigator.*` browser identification values. Reading information like operating system, CPU type, device type, … from the User-Agent string is quite a hard thing to do as there are no standards at all – one just has to guess based on the COMMENT parts of the User-Agent string. Fortunately the BrowsCap project has maintained a list of matching patterns for figuring out this information since 1997 that is extremely reliable. As such, I will continue using it even if it means bloating the extension size by about 3MiB. The fact that it allows everything to just work out-of-the-box with just a single input value (the User-Agent string itself) in my opinion definitely outweighs that, by comparison small, price.

Sorry for the trouble! Should be fixed in v1.3.1 now!

Thanks for the review! Are you thinking about a preference in settings? Or changing the width like how you can change it on other windows when you grab their window border?
The later would not be possible I fear, but the setting would be OK.