GiuliaConforto September 02, 2020:  Updated Introduction to user interface (markdown) [16f2bc6]
GiuliaConforto August 20, 2020:  Fixed typos [c641224]
fallahnejad February 16, 2020:  update content [63b61c5]
fallahnejad February 16, 2020:  Edit hyperlinks [08c5878]
Richard Paul November 12, 2019:  translated 1 files into 0 languages. [be4bf92]
Richard Paul November 12, 2019:  readded all english files [4b01965]
Richard Paul November 12, 2019:  removed translations, to test language index updating [890928d]
Richard Paul November 08, 2019:  all english wiki files [8e44ac5]
Richard Paul November 08, 2019:  reset md files [341fafa]
Richard Paul November 08, 2019:  added overwrittable langindex, meaning that it should be overwritten instead of multiply appended [9579ede]
Richard Paul November 08, 2019:  english files looking good [5873262]
Richard Paul November 05, 2019:  repaired wrong first h2 header [710d9ba]
Richard Paul November 05, 2019:  new md files [4fddf40]
eric September 16, 2019:  translations: flatten directory structure [80853ed]
eric September 16, 2019:  automated translations [0fdb56c]