Documentation for builtin commands (modified: src/mpp_actions.ml; modified: src/mpp_libload.ml; modified: src/mpp_main.ml).