gumbo: HTML ARIA support
encoding: API type fixes for ustring