It seems better to replace <kbd>BINDING</kbd> with `BINDING`
It seems better to replace <kbd>BINDING</kbd> with `BINDING`

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io