coscup-matterbot says to #coscup <medicalwei> 海洋大學那台嗎 (re @PeterDaveHello: CTAN 其實十年前就有台灣第一台 mirror 列在官方列表，只是前幾年收了 😂)