Github retropie raspberry pi 5. So a manual installation is possible, but the official .