I agree, in the real world, translating proper names should left be up to the individual. Just to explain, based on how Duolingo works, people expect things like this to be accepted in the course. If we were to remove these alternatives, we'd get hundreds of reports in sentences with these names. We always accept "Willem" and "Roos", etc. in the English translations and include those in the best translation.