Point of clarification: is the father of the first user actually a GNU/Linux user?