A fancy expensive shiny machine that unfortunately doesn't run Proof General
as fast as we'd like #324