Almost certainly the old forkbomb bug:
https://bugzilla.gnome.org/show_bug.cgi?id=464111
There are two things different between nautilus & gedit versus grsync &
gnome-terminal:
1) The former use the help: scheme, the latter ghelp:
2) The former use Mallard, the latter DocBook
Something is causi
Just as a note: 2.31.1 was the *first* release in the 3.0 development
series, made waay back in April. The only thing still missing is
full-text search, which sucks, but: 1) the new quick search feature
works well for most searches, and 2) full-text search in Yelp 2 is just
as slow as everythin
