Fix file name in document [ci skip]

This file was renamed in c8a25386d.