I think for clarity, we should rename `restProps` in all `GetHTMLProps` methods to `htmlProps`. It conveis the message more clearly.