magit and slime stuff