remove obsolete nonworking github plugin