Change of 'master' to 'main' in figures. Has been done for all svg figures (with txt source), and for some of the png figures. Addresses issue #254
Remaining work:
Update 'master' to 'main' also in GitHub screenshots. Editing with a drawing program blurred the original screenshots, wherefore new screenshots would be desired.
Adjust the positioning of boxes in content/img/centralized/04-local.svg, content/img/centralized/06-local.svg and content/img/centralized/07-local.svg in order to avoid overlap.
Change of 'master' to 'main' in figures. Has been done for all svg figures (with txt source), and for some of the png figures. Addresses issue #254 Remaining work: Update 'master' to 'main' also in GitHub screenshots. Editing with a drawing program blurred the original screenshots, wherefore new screenshots would be desired. Adjust the positioning of boxes in content/img/centralized/04-local.svg, content/img/centralized/06-local.svg and content/img/centralized/07-local.svg in order to avoid overlap.