I noticed in the String documentation a tilde that doesn't appear (the space before 5,000)

Do you think it can be a browser issue ? Tried with Chrome and Safari
I remembered this old PR #17624 for a similar issue. If it's about documentation rendering, for this case I think render it as code ~ is not fully appropriate