Android docs search
Adds a search interface to android docs. Abuses their own search API. pssssst ;)
I split two other little fixes into their own commits for clarity about what they do.
Also: FUCK YEAH KOTLIN
Adds a search interface to android docs. Abuses their own search API. pssssst ;)
I split two other little fixes into their own commits for clarity about what they do.
Also: FUCK YEAH KOTLIN