Fun with odoc, plugins and javascript