user manual: fix formatting and delete vague todo