I've been using the Camping Microframework for a while now, and really liking making web apps with it. It's suffering a little bit, though, from its concession to its self-imposed 4K limit on code size.
I'd like to suggest another benchmark: 4K × (1+log2 version).
That'd put Camping 1.6 at 6021 bytes, and Camping 2.0 at 6935 bytes. So much wiggle room! I bet we could even get basic WebDAV in version 2 that way.
There'd even be room to improve the parser for R(), removing a few of the pointy bits from the simplicity of that routine, and a few other things.