BUR #4441 has been approved by @Hillside_Moose.
rename hero_and_demon_king -> ramia-yana
rename demon_general_(hero_and_demon_king) -> demon_general_(ramia-yana)
rename hero_ramia -> ramia_(ramia-yana)
rename demon_princess_osumihime -> demon_princess_osumihime_(ramia-yana)
https://twitter.com/TheGoldenSmurf/status/1350589758565715969