Discussions

• [Plugin] Abbreviation Helper - hover over an abbreviation to see what it means

  1 view 0 comments 0 points Started by Cydoimos today at 1:00pm
• Hover popup for abbreviations in PDFs

  1 view 1 comment 0 points Started by Cydoimos June 17, 2026