comment out github plugins for the time being
more doc/release tweaks