Merge branch 'tweak_demos' into 'master'
cosmetics and adjustments See merge request !182
On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
cosmetics and adjustments See merge request !182