[racket] Scribble->HTML: adding to head

On 2012-09-11 8:07 PM, Matthew Flatt wrote:

> In the latest in the git repo, I've added `js-addition' to
> `scribble/html-properties'. It's like `css-addition': you can attach it
> to anything as a style property, and it bubbles up to the enclosing
> section that corresponds to the HTML page. When a `js-addition' refers
> to a file, the file is copied to the destination when rendering.

Just a brief comment to note that Matthew, in follow-up conversation the 
same evening, changed `js-addition' to let it take URL structures, which 
makes my code to use MathJax to put math into Scribbled HTML documents 
even simpler (and it works for servers which filter out script tags in 
the body, as was the case for my LMS). Yet another example of amazingly 
fast and effective response. Thank you! --PR