Update the HAS specification guide

No match.