Update Specifications-HTML7-dot-Mint.txt