In the draft, I used your nickname at first, but in “prior work” section that sounded rather strange, so I replaced it with your real name everywhere. Glad to see that agrees with your preference.
In the draft, I used your nickname at first, but in “prior work” section that sounded rather strange, so I replaced it with your real name everywhere. Glad to see that agrees with your preference.