Update the HAS specification guide