buglist: bug 7274: Hyperdoc failed

Hyperdoc failed while trying to follow the constructor path
from Integer to IntegerNumberSystem.