Command-line merge of user contribution to ML doc