An interface to search the Idris documentation, live from a connection to
the compiler. Actions are available to insert an identifier, either
qualified or bare, and to see full documentation.