atcoderだけで話題占有してるわけではないので後者で良さそう

1:45 PM

名前は変えなくても大きな問題は無いかなと思いますが、気になるなら治して良いと思います