you are viewing a single comment's thread
view the rest of the comments
[–] 3 points 1 year ago

Well its been since 2022 and wikipedia doesn't seem to think that the name should change.

  • source
  • parent