Mark proposals 153 and 154 as superseded by thandy-spec.txt