Labels

• documentation

  documentation

  Improvements or additions to documentation

• new-lecture

  new-lecture

  New feature or request

• polishing

  polishing

  Tiny fixes and polishes

• print

  print

  Changes related to the print version of the book

• question

  question

  Further information is requested