contification paper: formatting

[Matthew Fluet]

> I read the `justification' for why the CPS doesn't need to allow mutually
> recursive continuations, and I still don't get it.  Perhaps not something
> to worry about, but still ...

Do you mean in the experiments section?  It's not so much a justification
that it doesn't need it, but rather explaining the reality that it doesn't
support them.  The numbers at the end just show that, in practice, we
aren't often trying to contify groups of mutually recursive functions.