Github did a really funny merge, please check that the latest GUI changes still work.