Removed 'Prof. Dr. title from editor page'

src/frontend/tpl/editor.html

@@ -62,7 +62,7 @@
 
             <div class="row">
                 <div class="span12 credits">
-                    Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Prof.dr. Krzysztof R. Apt</a>,
+                    Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Krzysztof R. Apt</a>,
                     implementation by Tadde&uuml;s Kroes and <a href="http://smvv.kompiler.org" target="_blank">Sander van Veen</a>.
                 </div>
             </div>