@thomasfuchs Has LGR moved over to this side yet? He hasn't posted on Twitter in days.