In July 2021 we shipped a set of bug fixes to improve the course experience and navigation.

• Bugs fixed

  • More characters needed for the activity title on the course page
  • Search in the top menu bar does (almost) nothing