Update html/semantics/interfaces.html.