a few developer documentation nits

A few little things I spotted when re-reading doc/dev and doc/design:

a few files that contain duplicated text
a file describing a feature that did not survive the 9.9 dev cycle
GitLab not RT
I don't think we support operating systems released in the 1990s any more!
typos and formatting

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information