HOT commentary unnecessary
Remove obsolete paragraph on VACUUM interlocking
assert against SPEC_UPDATE
RTI should match between parent, auxiliary