Update: add doc of `HEAD`, recode `HEAD` spec