I wonder how much this could be genericized to all (or most, or even some) states, let alone the US Code, regulations, etc. Actually, state formats and whatnot could be plugins or compilation switches.

I've actually thought about this for some years, but idly, and I haven't found the time yet to get started. It just seems like an excellent and obvious-to-me use for HTML.