- Documentation improvements.
- Overhaul of the command_util.sh script.
- Fixes for some minor problems found by the clang analyzer.
- Documentation improvements.
- Overhaul of the command_util.sh script.
- Fixes for some minor problems found by the clang analyzer.