Pull request commit progress counter

When viewing a commit in a PR, show the number of commits and the position of the current commit in that list to make review progress more visible.

Per 12-09-2025. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.