跟随 coqc 每当他上线时就能收到通知。