Add a note to Specification.txt to remark that it's not up-to-date.