Actually, I should have said that my version is a copy of the “old” (I guess old?) Terminal board, which I renamed as “US” to be used in place of the default “US” board. (So my default would have all the keys and layout of the “official” Terminal board.)
1 Like