[Solved] Nextcloud 23: How to switch PHP version to 8.0?

The answer can easily been found on the internet: