I opened a terminal window this morning and couldn't cd to /home. When I type a tilde, I get a paragraph symbol. Yesterday, my external keyboard could type a Pipe symbol, no such luck today. I ended up having to use hidutil to remap my keyboard and run keystrokes through terminal to restore what worked yesterday. When I look at the available English keyboards, they're all showing a paragraph symbol above the Tab key. Has anyone else run into this sudden keyboard change?