I can't reproduce the crash anymore (maybe the webkitgtk update fixed
it...), so patch pushed as c72d8feb1fca60164be980bbc66f48c9360d94a6.
Thanks.