[MC-253241] 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.

Translation Key	String	Context	Is the "/" symbol translatable?
item.minecraft.bundle.fullness	%s/%s	This string is used within bundle tooltips to show the fullness of a bundle.	Yes
filled_map.level	(Level %s/%s)	This string is used within filled map tooltips to show the level of a filled map.	Yes
item.durability	Durability: %s / %s	This string is used within item tooltips to show the durability of an item.	Yes
sleep.players_sleeping	%s/%s players sleeping	This string is displayed within the action bar to show how many players are currently sleeping.	Yes
N/A	%s/%s	This string is used within the multiplayer menu to show how many players are currently online and the maximum number of them that the server allows.	No

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 [Mod] Avoma 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("/") ...