Release 4.0.2 Fixes: - userChrome/browser: Fix bottom navigation bar in FF 113 (MR 31) - userChrome/tabmenu: Fix height of tab menu in FF 113 (MR 31) - userChrome/tabmenu: Fix max width of tab menu in FF >= 106 (MR 31) Other: - userChrome/tabmenu: Add note to a declaration obsoleted in FF 113 (MR 31) - README: log file: add tail -F to example