Thanks for the reporting, the file was not yet imported in the repo -- it has to be done first time when the module is added to the repo, afterwards is going to be automatically updated once there are changes in the xml doc files.
I have just added the file in the git repo.