Merge branch 'rm_portal' into 'main'

Removing portal artefacts

See merge request !8
2 jobs for maintenance/docker
in 30 seconds, using 0 compute credits, and was queued for 7 seconds