Reilly Wood f4d7d19370
Name threads (#7879)
I noticed that [it's pretty easy to name threads in
Rust](https://doc.rust-lang.org/std/thread/#naming-threads). We might as
well do this; it's a nice quality of life improvement when you're
profiling something and the developers took the time to give threads
names.

Also added/cleaned up some comments while I was in the area.
2023-01-28 21:40:52 +01:00
..
2022-08-11 11:54:54 -05:00
2022-05-08 07:39:22 +12:00
2023-01-28 21:40:52 +01:00
2022-11-11 19:51:08 +13:00