Update on this – I tried Nova Launcher, and it works just fine, the names stick even after restart.

I think I’ll just stick to the Nova Launcher, given that not only Magic DosBox had this problem but also DraStic, and the shortcuts I created to launch ROMs in other emulators via the xShortcut app.