Ping.
LGTM
nit: is the indentation a bit off here?
It's a nested let ArchGuard, so I guess we do want the indentation here?
Yep, got confused, please ignore.