Interesting. Jansen is pretty common in Germany aswell. How old would a typical Danish Hans be? From what I can see in [1], Hans hasn't been a popular baby name

Interesting. Jansen is pretty common in Germany aswell. How old would a typical Danish Hans be? From what I can see in [1], Hans hasn't been a popular baby name for decades in Denmark either. Edit: Another country that seems to have retained popularity for "Hans" for a longer time than Germany is the Netherlands. According to [2], its popularity seems to have gone down significantly as well, with a further sharp dropoff in the 90s. There are plenty of other names to choose from if you want to create a fake personality. It's curious they chose one that sticks out among the age cohorts you would expect participating on Github. [1] https://www.dst.dk/en/Statistik/emner/borgere/navne/navne-til-nyfoedte https://www.dst.dk/en/Statistik/emner/borgere/navne/navne-ti... [2] https://www.babynamen.nl/naam/hans/ https://www.babynamen.nl/naam/hans/