Privacy and cookies

This site is hosted on GitHub Pages. GitHub processes technical data such as your IP address to deliver the pages (see the GitHub privacy statement). The fonts are stored on the site itself; nothing is loaded from Google for them.

Corrections by visitors. To show recent correction suggestions, the page loads a public table from Google (docs.google.com). Google can see your IP address when this happens. If you send in a correction yourself, you use a Google form; what you enter there goes to the maintainer of this site. Your email address and note are never published.

Visitor statistics. Only if you give permission does this site use Google Analytics to see how many people visit, which pages they view and what they search for. Google Analytics sets cookies for this. Advertising features and Google signals are switched off, and Google does not store IP addresses. Google (Google Ireland Ltd.) may also process data in the United States; Google is certified under the EU-US Data Privacy Framework. The data is deleted after 2 months. Without your permission Google Analytics is not loaded. You can change your choice at any time with the button below or at the foot of every page.

Questions? Via the GitHub repository.

Cookie settings