Drop dev-dotnet/gtkhtml-sharp