We still have the `dotty` name in [dotty-example-project](https://github.com/lampepfl/dotty-example-project), [dotty.g8](https://github.com/lampepfl/dotty.g8), [dotty-cross.g8](https://github.com/lampepfl/dotty-cross.g8), [dotty-staging.g8](https://github.com/lampepfl/dotty-staging.g8) and [dotty-tasty-inspector.g8](https://github.com/lampepfl/dotty-tasty-inspector.g8). They should be named `scala3-example-project`, `scala3.g8`, `scala3-cross.g8`, `scala3-staging.g8` and `scala3-tasty-inspector.g8`. Not sure if we can rename the projects without breaking the previous links. If we can't rename we can just create copies with the new names.