pattern="\]">
        <token type="Keyword"/>
        <pop depth="1"/>
      </rule>
      <rule>
        <include state="common"/>
      </rule>
    </state>
  </rules>
</lexer> 
			The %[1]scp%[1]s command copies files between the local and remote file systems.

			As with the UNIX %[1]scp%[1]s command, the first argument specifies the source and the last
			specifies the destination; additional sources may be specified after the first,
			if the destination is a directory.

			The %[1]s--recursive%[1]s flag is required if any source is a directory.

			A %[1]sremote:%[1]s prefix on any file name argument indicates that it refers to
			the file system of the remote (Codespace) machine. It is resolved relative
			to the home directory of the remote user.

			By default, remote file names are interpreted literally. With the %[1]s--expand%[1]s flag,
			each such argument is treated in the manner of %[1]sscp%[1]s, as a Bash expression to
			be evaluated on the remote machine, subject to expansion of tildes, braces, globs,
			environment variables, and backticks. For security, do not use this flag with arguments
			provided by untrusted users; see <https://lwn.net/Articles/835962/> for discussion.

			By default, the %[1]scp%[1]s command will create a public/private ssh key pair to authenticate with
			the codespace inside the %[1]s~/.ssh directory%[1]s.
		