Disable idle GC for the server It doesn't correctly detect when we're really idle and ends up using ~15% CPU when the server is otherwise idle.
Disable idle GC for the server
It doesn't correctly detect when we're really idle and ends up
using ~15% CPU when the server is otherwise idle.

isomorphism/hackage2,beni55/hackage2,beni55/hackage2