When I use the getting-started extension, how can I customise the getting started page?

[original thread by Adam Retter]

Hello, I think for now you’ve to use your own getting started extension or extends the current one.
Maybe if it’s for branding purpose you may track https://github.com/theia-ide/theia/pull/3980