Links for hexdoc-hexautomata