I want to update my user.css, since the frontend changed, but there no "open devtools" in the help menu on the Linux build, or anywhere else.
Activity