Ah, Lovely!
I’d got it into my head that it wouldn’t be in the repo’s issues for some reason. A pull request will be winding it’s way shortly. Though the documentation HTML file are already made, I wonder if it is simply a case of adding in the xml files in the docs.