'Dennis' on level 4 is called 'Danny'

[Truesh00ter]

As an example see: https://www.trueachievements.com/a298714/veteran-bounty-hunter-achievement

[Truesh00ter]

Same of 'Anneke' >> 'Ann' or 'Restless Ann', I think @benediktwerner used a German version of the game?
Again 'Daniel' >> 'Doc Hook', it's confusing if you use the English version of the game.

[benediktwerner]

I just used the nick-names of the devs as it is in the code where it was extracted from.

Most of them have different display names. But it should be obvious enough. There are only one or two devs in each level.

But I guess feel free to create a PR to replace them with their in-game names:

Desperados3Mods/DevKillsList/Main.cs

Line 93 in 5fbcf3c

new Dev("train", "Ben", "", -1726282228),