Merge pull request #1898 from ethereum/yann300-patch-20

Update terminal.js

src/app/panels/terminal.js

@@ -412,7 +412,7 @@ class Terminal extends BaseApi {
                         <li><a target="_blank" href="https://web3js.readthedocs.io/en/1.0/">web3 version 1.0.0</a></li>
                         <li><a target="_blank" href="https://docs.ethers.io/ethers.js/html/">ethers.js</a> </li>
                         <li><a target="_blank" href="https://www.npmjs.com/package/swarmgw">swarmgw</a> </li>
-                        <li>compilers - contains currently loaded compiler</li>
+                        <li>remix (run remix.help() for more info)</li>
                       </ul>
                     </li>
                     <li>Executing common command to interact with the Remix interface (see list of commands above). Note that these commands can also be included and run from a JavaScript script.</li>