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-04-20 08:50:14 -05:00
2023-01-28 21:40:52 +01:00
2023-01-23 12:57:40 -06:00