a draw.io file; an HTML export of the diagram in that draw.io file; The purpose of this repo and the files within is to show how you can create and export interactive diragrams in draw.io. In this ...