Link to webidl from spec in a comment pls.