adjust CSS selector for blue boxes in documentation
package binary strip: work on "info.rkt" files that use `(module ....)