Update the generated HTML pages and add the documentation of the string_operations module.
Authored by: arjenmarkus 2019-07-27
Parent: [r400]
Child: [r402]