Use @(tb) instead of "Apt", "CloudLab", etc. to make it generic.

I left alone a couple of pages that are going to always be apt-specific

Make all #:tags somewhat consistent

Always use @seclink instead of @secref. The latter is neat, but it's
just too hard to keep track of what the titles are.

Make all @seclinks resolve (in some cases creating stub sections)