repository=https://github.com/ZH-Systems/TangleDinkPlugin.git
commit=347deec7be594e0343d26dfa2b3cdb864379dae9