Support: provide anchors

I considered text fragments too, e.g.

    https://rust-for-linux.com/industry-and-academia-support#:~:text=“Samsung,stack.”

which work fine in most browsers, but not Firefox.

I considered `div`s around the quote, but I did not want to depend on
the renderer to do the right thing, even if it currently worked. Moreover,
it makes the hightlighting feature in the next commit a bit more tricky
and complicates the DOM tree. Finally, we may want to e.g. add logos anyway
later on for the quotes, so just do HTML for this.

Suggested-by: Andreas Hindborg <[email protected]>
Signed-off-by: Miguel Ojeda <[email protected]>

Author: ojeda

src/Industry-and-academia-support.md

@@ -1,44 +1,59 @@
 # Industry and academia support
 
-> “Google supports and contributes directly to the Rust for Linux project. Our Android team is evaluating a new Binder implementation and considering other drivers where Rust could be adopted.”
+<blockquote id="Google">
+<p>“Google supports and contributes directly to the Rust for Linux project. Our Android team is evaluating a new Binder implementation and considering other drivers where Rust could be adopted.”</p>
+</blockquote>
 
 — [Google](https://lore.kernel.org/lkml/[email protected]/), 2021.
 
 
-> “Arm recognises the Rust value proposition and is actively working with the Rust community to improve Rust for Arm based systems.
-A good example is Arm’s RFC contribution to the Rust language which made Linux on 64-bit Arm systems a Tier-1 Rust supported platform.
->
-> Rustaceans at Arm are excited about the Rust for Linux initiative and look forward to assisting in this effort.”
+<blockquote id="Arm">
+<p>“Arm recognises the Rust value proposition and is actively working with the Rust community to improve Rust for Arm based systems.
+A good example is Arm’s RFC contribution to the Rust language which made Linux on 64-bit Arm systems a Tier-1 Rust supported platform.</p>
+<p>Rustaceans at Arm are excited about the Rust for Linux initiative and look forward to assisting in this effort.”</p>
+</blockquote>
 
 — [Arm](https://lore.kernel.org/lkml/[email protected]/), 2021-06-29.
 
 
-> “Microsoft's Linux Systems Group is interested in contributing to getting Rust into Linux kernel. Hopefully we will be able to submit select Hyper-V drivers written in Rust in the coming months.”
+<blockquote id="Microsoft">
+<p>“Microsoft's Linux Systems Group is interested in contributing to getting Rust into Linux kernel. Hopefully we will be able to submit select Hyper-V drivers written in Rust in the coming months.”</p>
+</blockquote>
 
 — [Microsoft](https://lore.kernel.org/lkml/[email protected]/), 2021-06-29.
 
 
-> “There is interest in using Rust for kernel work that Red Hat is considering.”
+<blockquote id="RedHat">
+<p>“There is interest in using Rust for kernel work that Red Hat is considering.”</p>
+</blockquote>
 
 — [Red Hat](https://lore.kernel.org/lkml/[email protected]/), 2021-07-08.
 
 
-> “Rust for Linux is a key step towards reducing security-critical kernel bugs, and on the path towards our ultimate goal of making Linux free of security-critical bugs. We are using Rust in our OS research, and adoption is easier with an existing Rust in the Linux kernel framework in place.”
+<blockquote id="Anderson">
+<p>“Rust for Linux is a key step towards reducing security-critical kernel bugs, and on the path towards our ultimate goal of making Linux free of security-critical bugs. We are using Rust in our OS research, and adoption is easier with an existing Rust in the Linux kernel framework in place.”</p>
+</blockquote>
 
 — Thomas Anderson, University of Washington, 2022-06-23.
 
 
-> “We are convinced that Rust is changing the landscape of system programming by applying the research done on programming languages in the last decades. We wanted to see how the language was able to help us write code we are really comfortable with thanks to the extensive static checking.”
+<blockquote id="BlancCohenSchmidt">
+<p>“We are convinced that Rust is changing the landscape of system programming by applying the research done on programming languages in the last decades. We wanted to see how the language was able to help us write code we are really comfortable with thanks to the extensive static checking.”</p>
+</blockquote>
 
 — Esteban Blanc, Arthur Cohen and Martin Schmidt, LSE (Systems Research Laboratory) at EPITA (École pour l'informatique et les techniques avancées), 2022-06-23.
 
 
-> “Being able to use Rust in the Linux kernel is an incredible milestone on the road to a more secure future for the Internet and everything else that depends heavily on Linux.”
+<blockquote id="ISRG">
+<p>“Being able to use Rust in the Linux kernel is an incredible milestone on the road to a more secure future for the Internet and everything else that depends heavily on Linux.”</p>
+</blockquote>
 
 — [ISRG's Prossimo Project](https://www.memorysafety.org/blog/rust-in-linux-just-the-beginning/), 2022-10-18.
 
 
-> “Samsung is actively engaged in supporting the integration of Rust code into the Linux Kernel. Recognizing the significant benefits that Rust brings to kernel and system software development, particularly in terms of enhancing security and reducing critical bugs, Samsung is committed to enabling kernel developers to write block layer device drivers using the Rust programming language. By embracing modern programming languages like Rust, Samsung aims to attract new talent to systems development and promote memory safety within the Linux storage stack.”
+<blockquote id="Samsung">
+<p>“Samsung is actively engaged in supporting the integration of Rust code into the Linux Kernel. Recognizing the significant benefits that Rust brings to kernel and system software development, particularly in terms of enhancing security and reducing critical bugs, Samsung is committed to enabling kernel developers to write block layer device drivers using the Rust programming language. By embracing modern programming languages like Rust, Samsung aims to attract new talent to systems development and promote memory safety within the Linux storage stack.”</p>
+</blockquote>
 
 — Samsung, 2023-05-17.