Updated user manual. Some TODO's left.