A bit of documentation in docs/