全然関係ないが、最近iOSやらiPadOSやらwatchOSやらアップデードしまくったので、長年放置してたTeXLiveもアップデートしたくなってきた。 10月中にはmacOSのアップデート（Catalina）も控えているので、このタイミングでTeXLiveをアップデートすることにし…