Yes, I agree. I've even thought about that for tables, too. I guess
it's a matter of taste whether we do that or not. I don't think the
Rec says anything about it. Anyway, I'd do it like you did for lists,
but tables may be less important in this respect. We can add it later if
necessary.
On 15.04
I wrote:
> Creating a combined list for label and body
I forgot to mention that this work is mainly based on Jeremias' code for
tables.
There is only a significant difference while computing the first step:
+if (backupHeights[0] == 0 && backupHeights[1] == 0) {
+// this is
