a HTML/javascript client for OpenPetra, implemented as a plugin