List of potential checks: 1. [ ] Check if wiki commit matches the one online 2. [ ] Check for correct version number 3. [ ] Check if generated documentation is also available at the wiki All checks should be done for every PR update that is not in a draft state.