2020-03-29

Version of the manual as of March 29th, 2020.

Updates include:

• Fix truncation of the English html version (the last chapters were missing)