Matthias :veritrek_red:

@Deykun Yeah, Holland is part of Niederlande, but no-one* here uses this distinction.
(* ok, maybe me when I remember)

@Deykun Im from Austria, and while the official name is „Niederlande“ everyone calls it Holland here.

@ThatOneKirbyMain2568 I remember asking my brother (he has a phd in cs) if he’s on mastodon, and he told me he didn’t understood the instance picking immediately and didn’t join.