Thanks @gernert
Thanks @gernert I’ve not updated GettingStarted because I plan to do one final redrafting before 5.1.6. I’ll put up a prerelease for you to play with in a couple of hours when I get to better wifi!
Thank you @gernert I’ve pushed a new prerelease, let me know if anything looks wrong.