GitLab

(DEL Does Not Delete): Note that the erasure key is usually labelled
"Backspace".  Remove discussion of obscure Xmodmap issue.