repository=https://github.com/ZH-Systems/TangleDinkPlugin.git
commit=26f14dfcfd3c3f8e169ea0bfa28997d06929a322