The player count indicator symbol within the multiplayer menu is untranslatable

The Bug:

The player count indicator symbol within the multiplayer menu is untranslatable.

The "/" symbol that exists between the value of the current and total players for servers within the multiplayer menu is untranslatable and is missing a translation key.

This is a problem because every other string throughout the game that contains the "/" symbol is translatable, therefore introducing an inconsistency. Below, I've constructed a table to visually demonstrate how and why this is a valid internationalization issue and to show the inconsistency.

h3. Steps to Reproduce:

• Attempt to search for the existence of this string by using this search filter on the official Minecraft crowdin project.

• Take note as to whether or not the page indicator symbol within the recipe book GUI is untranslatable.

Observed Behavior:

The player count indicator symbol within the multiplayer menu is untranslatable.

Expected Behavior:

The player count indicator symbol within the multiplayer menu would be translatable.

Code Analysis:

Code analysis by @unknown can be found below.

The following is based on a decompiled version of Minecraft 22w24a using Mojang mappings.

net.minecraft.client.multiplayer.ServerStatusPinger.java

public class ServerStatusPinger {
   ...
   static Component formatPlayerCount(int n, int n2) {
      return Component.literal(Integer.toString(n)).append(Component.literal("/").withStyle(ChatFormatting.DARK_GRAY)).append(Integer.toString(n2)).withStyle(ChatFormatting.GRAY);
   }
   ...

If we look at the above class, we can see that the player count indicator symbol within the multiplayer menu is hardcoded, and as a result, is untranslatable. This is evident through the following piece of code:

... append(Component.literal("/") ...