There doesn't seem to be much point in generating or showing PDF versions of interactive manuals, so those links should possibly be removed.