Update documentation on the Resources page
Could you please update the documentation on the Resources page. Currently it is
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!
Edited by Tamas Miklossy