w3mmanも見られなくて不便なので、以前も2回ほど調べてみたのだけどそのときは解決せず。なんとなく改めてcrash時のログを見てみるとw3mよりgc側ぽいので、開発版のboehmgc-develを最新にして試してみたところ動いた。boehmgc-develがnomaintainerだったので…