c721121a2d
Don't use gtk-doc style comments for regular comments, and WTF is /// comment ////?! https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/91