Thank you. That’ll be the last such question, now that I’ve discovered hover-cmnd-ctl-D!