All content and resources served under are subject to this privacy statement unless noted otherwise.

Exception: this statement does not apply to the following URLs prefixes as they are served under a different GitHub repository without any data subprocessers (except for GitHub, Inc. the host):

For the time being, I will not embed content from social media platform like Twitter or YouTube directly. Instead, I will copy the relevant text and make sure to link back to the source to help preserve your privacy.

What is collected and not?

This website does not use any cookies and all data used for analytics is anonymized. Please note as this website is hosted and served by GitHub Pages (GitHub, Inc.) which does log IP addresses regardless whether you are signed into a GitHub account or not.

Analytics are collected, processed, and provided by which is a privacy friendly web analytics service based in the EU. It is GDPR, PECR and CCPA compliant and does not track with IP addresses, cookies or fingerprinting. It currently collects the following information:

  • Location as associated with your IP address

  • What and when pages were accessed, and the referring websites, search engines and social networks

  • The operating system, browser, and the screen resolution of your device

If you would like to opt out of all analytics, please turn on Do Not Track in your browser. To enable DNT for the major browsers please see the following resources:

Cookies & localStorage

While no first-party or third-party cookies are used, your browser may report the presence of one “cookie”. This “cookie” is really an entry in your browser’s localStorage. The data stored is purely used for functionality including:

  1. Your light/dark theme preference -> so it can persist across reloads

  2. Your last vertical position -> so if you reload the same page it will autojump to your former location


Next PR Number

  • First-party IP and User-Agent logging: Next PR Number uses an API that I operate. The API logs IP addresses and user-agents for usage monitoring and abuse prevention.


  • September 27, 2023: Next PR Number is now powered by a backend that I own and control. The host and API do have minimal logging set up. This eliminates the third-party GitHub cookies though!

  • September 24, 2023: recontinued their free plan so everything’s back to the status quo. Crazy, I know.

  • February 26, 2023: discontinued their free plan so all web analytics have been removed. That also means that now falls under this privacy statement without any exceptions (it never had enabled).

  • May 14, 2022: actually,, or specifically, doesn’t set cookies if loaded into an external webpage. Cookies are only set if any resources under are accessed directly. Therefore, this website does not use third-party cookies (unless you access directly beforehand). Although, Next PR Number still has third-party cookies though as the GitHub API sets its own. Hopefully I finally got this right. Cookies are hard.

  • May 13, 2022: turns out that GitHub (or at least their API) and microanalytics set their own cookies, so sadly third-party cookies do exist :(

  • May 13, 2022: Next PR Number ( now uses in accordance in this privacy statement