Merge branch 'revert-7556c86d' into 'main'

Revert "Twas unneeded"

See merge request !5
2 jobs for main in 4 minutes and 47 seconds (queued for 1 second)
latest