Hi Gerko! I just submitted my pull request on https://github.com/gerkovink/markup2020/pull/142 with automatic merging.