A user script to remove the language bar on GitHub