Saving us some embarrassment when people report that the demo "works" :-)
Merge branch 'devel' of https://github.com/saga-project/saga-pilot into devel