/* Hide the platform (JVM) selector. */
.platform-tag {
  display: none !important;
}