Resolve Arti crate todos, redux
This is an extended version of !1811 (closed), to work around a temporary standoff between gitlab and @Diziet.
There is one commit for each comment.
This is an extended version of !1811 (closed), to work around a temporary standoff between gitlab and @Diziet.
There is one commit for each comment.