Documentation: more user-manual todo's