Add `convert-buffer-to-*' commands for convenience.