Thanks for reporting @arvidslump! I will look into this. FYI the docs repo is actually open source so you are more than welcome to get involved on there. You can create issues for problems like this or even contribute to the content if that’s something you’re interested in.