# [MEDIUM] DocBook cross-references without a .html suffix were not replaced, leading to broken links