The graphical language server platform (GLSP) provides extensible components to enable the development of diagram editors in web-applications via a client-server protocol