Post the old gnome-doc.el for inline documentation comments