This still needs work.

This is really about trac more than gitlab, after all. Now that we
migrated, those docs are not really useful anymore and can be archived
to that other page.

I feel the GitLab migration documentation belongs there, and could be
helpful to not pretend Trac never existed...

This reverts commit:

6a447183 remove link to dead trac page
1735010a remove trac documentation now that it is retired

we don't actually have a proposal yet

Spotted by: GeKo