Thread:Extension talk:Realnames/Block Page Title Conversion/reply (6)

Oh bother. Yes, that's the file. I forgot to change the version in Realnames.php (again!) I'm glad to hear your issue is resolved!