Move DEFCOMMAND documentation after arguments