doc: partial update of user-guide
chop: fix bug on unsigned size_t systems