Comment by terminalbraid

Maybe the community should use less of github if github doesn't provide features the community finds useful.