Off-topic: trying to decide if I should change my avatar here. (I’m not sure what I would change it to, perhaps a CIA issued microwave oven)