Thread:Juraj103/@comment-3131473-20191110161923

Is it really good to have people of whom we do not know name of labelled as "unnamed"? That could potentially mislead the readers that, let's say, Dijkstra's kids died before he was able to name them. 