GitLab

Defines a new style that you *must* include in the @title() element of a
page that causes the right javascript and CSS to get loaded

Uses a version of highlight.js that has been slightly hacked to:

1) Look for .code-sample instead of "pre code" to find code to highlight
2) Auto-initialize itself at the end

Bug: Need to figure out how to *add on to* not override the default
style

You can now pass a command line arg to scribble to turn on CloudLab
mode. Right now, all this does is change the binding for @(tb)

Just a copy of the Apt manual for now

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)

Turns out that setting it in the top-level is not enough, so
move it to defs.rkt and use it in ever section