@argv_minus_one @nixCraft I figured as much, but it’s still awkward.