doc update: user manual