Want site search autocompletion? See here Encountering 429 Too Many Requests errors when browsing the site? See here
This fact is useful in work leading up to the Classification of finite simple groups