The Wayback Machine - https://web.archive.org/web/20230815144326/https://docs.github.com/de/codespaces/developing-in-codespaces