No documents found no more

I’ve been on vacation for 4 weeks, and have not had time to update anything.

Now I’m back, and hopefully this means that the front page will have some interesting content. 🙂