Idris 2 now gets top billing on the docs page too