version bump: gtkhtml3