Maui web server autostart now works fine.