Changes
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.