Hello, I recently started contributing to the AUR and I have some questions on JDK naming. I submitted a package called “jdk17-azul-prime-bin” yesterday, but then I realized that other Zulu jdk packages follow a different naming convention, such as “zulu-8-bin”, “zulu-17-bin”, “zulu-20-bin”... For consistency, I requested a merge to rename my package as “zulu-prime-17-bin”. Was that a good decision? In general, what is the best way to name JDK and JRE packages? For instance, how should I name the JDK and JRE Zulu Prime packages for Java 8 to differentiate them?