Merge branch 'master', remote-tracking branch 'origin'
Fine-tuning .gitignore files
Typo correction.
Debug of UPDATE command.
Debug of DEL command in client library.
CLI enhancement.