The solution to let any diagram to become a link on another diagram is a lifesaver - thank you! Unfortunately, users of the HTML export are not benefited from this navigation feature. Please make the links clickable in the HTML docs.