My working copy of a real-time collaborative editor for AsciiDoc based on AsciidoctorJ and Java EE 7 Websockets