expected

IdrisDoc file written
A.fully.Qualified.NAME.html
B.html
A.fully.Qualified.NAME is in the index
B is in the index