I noticed a few occurrences of the dg.discrete-geometry tag, which I think should be merged into the discrete-geometry tag. Anyone object?
I believe that I have enough rep to merge tags, but I've never done it before so I'm not sure how to do it.
]]>