Different versions in code.quarkus and maven repository

Deployed UI [1] shows QUarkus version as 2.13.7.Final-redhat-00001 at the header of the page. Archive[2] contains quarkus-bom of version 2.13.7.Final-redhat-00002

[1] http://code-quarkus-frontend-code-quarkus.apps.ocp4.prod.psi.redhat.com/
[2] https://download.eng.bos.redhat.com/rcm-guest/staging/quarkus/quarkus-2.13.7.CR1/rh-quarkus-2.13.7.CR1-maven-repository.zip

UPD: This also affect generated applications which use quarkus.platform.version>2.13.7.Final-redhat-00001</quarkus.platform.version> in their pom. Since this bom doesn't exist, these applications cannot start.

Reproducer:
1. Download: http://code-quarkus-frontend-code-quarkus.apps.ocp4.prod.psi.redhat.com/api/download?e=quarkus-resteasy-reactive&e=quarkus-resteasy-reactive-jsonb&e=quarkus-resteasy-reactive-jackson&e=quarkus-resteasy-reactive-qute&e=quarkus-rest-client-reactive&e=quarkus-rest-client-reactive-jackson&e=quarkus-rest-client-reactive-jaxb&e=quarkus-rest-client-reactive-jsonb&e=quarkus-oidc-client-reactive-filter&e=quarkus-hibernate-validator&e=quarkus-hibernate-orm-rest-data-panache&e=quarkus-reactive-routes&e=quarkus-smallrye-graphql&e=quarkus-smallrye-graphql-client&e=quarkus-smallrye-jwt&e=quarkus-smallrye-openapi&e=quarkus-undertow&e=quarkus-websockets&j=11&S=2.13
2. Unzip
3. ./mvnw quarkus:dev -U -Dmaven.repo.local=<...>/rhbq-2.13.7.CR1-repo