Pending changes are made to our GitHub repository.

If you have any suggestions or corrections, please create an issue there.

Changes are automatically integrated into the website a few minutes after they are committed.

The new changes will immediately appear in the online search and browse functionality at:

When a formal new release of all the pending changes is made, then the PDF, Word, printed and other versions will incorporate the changes as well.