I'm trying to edit the
config.txt at the NOOBS boot menu.
This file format comments out lines by putting
# at the start. How do I type that character? (Typing it normally on my keyboard generates the old UK currency symbol).
Note: I have already done the solution in Remapping keyboard; it does not affect the NOOBS boot menu.
Here's an image of my keyboard layout - it's a cheapie Logitech wireless mouse/keyboard combo.