doc/cmd.html: translate and initial import.