Website is wrongly deployed to an 'escet' folder
v0.4-M1 was deployed to https://www.eclipse.org/escet/v0.4-M1/escet/
rather than https://www.eclipse.org/escet/v0.4-M1/
. I've manually corrected this. But we should fix the Jenkinsfile
to prevent this for future releases.