keyboard preferences ignores modifier key settings
Okay I fixed it. New keyboard (still Windows-style, needing modifier key remapping), uninstalled USB overdrive, moved keyboard from external self-powered USB hub to port in back of second monitor, then back to hub. Modifier key remapping started being obeyed once I'd switched the keyboard to the monitor's USB port, and kept working when I switched back. Go figure!