User manual

TODO