A hyperlink interface extension for inform7