#255 eviction for substitution

Herve proposes that we simplify substitution; as opposed to the
suggestion to remove it (#250).

What would be the effect of having the substituted header being
dropped?  Equivalent to a header that doesn't modify the table?

Received on Monday, 7 October 2013 20:50:27 UTC