Hypercomments in another file.