main
web: remove the install page (#8350)
docker-next: fix up Git user home directory and permission issue (#8081)