diff --git a/src/userChrome/tabmenu.css b/src/userChrome/tabmenu.css
index 903d985..7927539 100644
--- a/src/userChrome/tabmenu.css
+++ b/src/userChrome/tabmenu.css
@@ -56,7 +56,8 @@
         max-height: 300px !important;
         /* When messing around with tabs, it gets into a state where it does
          * not use the whole height anymore, it becomes a tiny window. Removing
-         * this attribute fixes it. */
+         * this attribute fixes it. Since FF 113, this no longer has any
+         * effect, but it doesn't seem to be necessary either. */
         -moz-box-flex: initial !important;
     }