Generate Cocktail Identity Cards and a more complete version that features the entire OntoCoq ontology instantiated, that detail the components that used in a public or user-owned repository hosted on GitHub.

Download the ones of your chosing for posterior use or safekeeping.

Generate a graph to visualize the CIC and the relations that comprise it (when applicable).