<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@jfdm" class="u-url mention">@<span>jfdm</span></a></span> <span class="h-card" translate="no"><a href="https://functional.cafe/@jer_gib" class="u-url mention">@<span>jer_gib</span></a></span> Sorry I could have worded that better. Jan and I both really care about teaching quality and regularly insist that colleagues do better (as part of normal peer review etc.). I also know that Jan already has a lot of work planned to make some big improvements in teaching materials this year across multiple modules, and there is only so much time available.</p>