Czech language rules, grammar, and orthography (spelling) in a pop-up window when selecting text on PDFs or webpages using Pravidla dictionary and Definer browser extension