Merge branch 'master' into 'master'

Update archmanweb to v1.3

See merge request !487
2 jobs for master in 35 seconds (queued for 10 seconds)