Of course the Pungeonmaster would want to name porn. Or rename them.
And yeah, naming them what they are is pretty lazy. Of course, there's a lot of anime that's like that too now.
Is the 'adult' version of 'Captain Marvel' just called 'Captain Marvel?'