Update documentation on the Resources page
The text should be Eclipse GEF DOT, an Eclipse Plugin that can be used to render and edit DOT graphs [Fabian Steeg, Michael Clay, Alexander Nyssen, Matthias Wienand, Tamas Miklossy]
The link should be point directly to the Eclipse GEF DOT User Guide: https://github.com/eclipse/gef/wiki/DOT-User-Guide
Furthermore, I would be happy if you could also link the video: https://www.youtube.com/watch?v=GnSVLNYfGlk
Thank you very much in advance!