As you will easily see when clicking on the directory name on the page you linked to, the filename on Github has changed. All the info is in there.
And as we don’t know what “online documentation” that points nowhere exactly you refer to, also please help and open a docs change request.
There’s a link to do that at the bottom of each docs page you can click on to accomplish that.