The web-routing thing is especially gross because a different example shows off pattern-matching.