We emailed them immediately once we realized and they (of course) said they would prefer if we rename to something else.

Because we had been using the name publicly for so long, we decided to lay out the relevant details and ask Hacker News.