doc: Correct name for AnonymicePro Nerd Font

[kingarrrt]

Description

The AnonymicePro Nerd Font is incorrectly named Anonymice Nerd Font.

Requirements / Checklist

• Read the Contributing Guidelines
• Verified the license of any newly added font, glyph, or glyph set

What does this Pull Request (PR) do?

How should this be manually tested?

Any background context you can provide?

What are the relevant tickets (if any)?

Screenshots (if appropriate or helpful)

[Finii]

Good catch!

Thanks for the PR!

Hmm, I see more strangenesses...:

Some have Nerd Font in the listed name, and some dont. 🤔

Also checked fonts.json, but there AnonymicePro is correct.

[Finii]

@allcontributors please add @kingarrrt for doc

[allcontributors]

@Finii

I've put up a pull request to add @kingarrrt! 🎉

[Finii]

Maybe you like to comment on this...:

I would drop the Win-Linux-Mac indicators, the table would get vertically condensed - and the indicators are defunct anyhow.

Then we should unify the naming, add - or remove - the Nerd Font part from the patched font names (column 1)?

The column names (column 1 and 2) are also rather ... similar Font Name and Font Name and Repo...
Maybe change first column header to Patched Font Name?

[kingarrrt]

Yes re defunct Win-Linux-Mac indicators.

It looks like the Patched Fonts table could be generated from fonts.json and the fonts' README.md files to ensure correctness.

[Finii]

could be generated from fonts.json

Excellent idea! 👍

(Except at least ProFont which has more than one entry in the table because of different versions. Hmm, I seem to remember that there are other fonts also with a variety of versions. But that is just a detail.)

I would even put the version information into fonts.json. We could reuse that information for nerdfonts.com then.

Are you interested in implementing something? Otherwise I would code something up.

[kingarrrt]

Very sorry, I don't have bandwidth to implement.