Updates to talk. Ported talk to Markdown.

README.md

@@ -8,7 +8,13 @@ safety, arguably its most distinctive, novel, and powerful feature.
 The presentation is made with [reveal.js](https://revealjs.com/), and is located
 in [docs](/docs). The original script on which the presentation
 is based is [here](/docs/doc/Rust%20Talk%202023.11.09.docx), in
-Microsoft Word format. I may adapt it for Markdown if I have some spare cycles.
+Microsoft Word format, and [here](docs/doc/Rust%20Talk%202023.11.09.md), in
+Markdown format.
 
 The other top-level directories correspond to the various functional and
-(intentionally) nonfunctional code samples used as props for the presentation. 
+(intentionally) nonfunctional code samples used as props for the presentation.
+
+To play the slide deck locally, clone this repository, and enter [docs](/docs).
+Only the first time, you'll need to run: `npm install`. Afterward, you can just
+run: `npm start`. Point your favorite web browser to `localhost:8080`, and
+voilà.

docs/doc/.gitignore

@@ -0,0 +1 @@
+/~*

docs/index.html

@@ -1107,6 +1107,16 @@ <h1>MEMORY SAFETY<br> <code>==</code><br> THREAD SAFETY</h1>
 				<section data-visibility="uncounted">
 					<p>Community <span class="rust">Rust</span> resources:</p>
 					<ul>
+						<li>
+							<a href="https://www.jetbrains.com/rust/" target="_blank" rel="noopener noreferrer">
+								RustRover: JetBrains IDE for Rust
+							</a>
+						</li>
+						<li>
+							<a href="https://code.visualstudio.com/docs/languages/rust" target="_blank" rel="noopener noreferrer">
+								Rust in Visual Studio Code
+							</a>
+						</li>
 						<li>
 							<a href="https://discord.com/invite/rust" target="_blank" rel="noopener noreferrer">
 								Rust on Discord