Include the version of the _documented_ soruce code in the output

Update docs & scripts to account for recent Idris2 upstream

Prevent duplicate index entries (e.g. interface implementations)

Update for modified HTML structure in current Idris2

Update for modified HTML structure in Idris2 0.5.1+

Escape "pipe" character when preparing the search regex

Remove local duplicate dev dir fallback value

Include docs for new "test" library

Enable TAB to focus search field from anywhere on the page, document the behaviour

Code style

Some small fixes and code quality changes

Fix directory permissions after rebuilding docs

New version of `mkdoc` branch excludes namespaces, make indexing code simple

Add README.md

Generate a homepage with basic introduction

Add license

Initial commit