Tootfinder

Oh come on, #hedgedoc can't search its own documents? You can just search the titles and tags? 🤨 I thought I had found a quick note/wiki platform for our workgroup, but that's a big negative there...
https://github.com…