Merge branch 'rm_portal' into 'main'

Removing portal artefacts

See merge request !8
2 jobs for maintenance/docker in 30 seconds (queued for 7 seconds)