Fix GitHub stars on the home page, our pyglet intersphinx config, and small issues on resources

Fix GitHub stars on the home page, our pyglet intersphinx config, and small issues on resources #2115