forget
That is an amazing list; thank you for that.
However, one name that I don’t think is on the list is Penang Hill, Malaysia. My dad was stationed there between 1968 and 1971 (plus a bit of time at RAF Butterworth). It was a radar unit. We, as kids, knew it as Penang Hill, but it may have had another name. Does anybody know?