If ctypes sdl goes ahead as pygame 2.0 I'm going to make the current pygame available elsewhere. aka a friendly fork.
Why not just branch and maintain it for a while? I can't see a complete Pygame-ctypes being _really_ usable for at least 6 months. I'm pretty sure ctypes on ARM will be available by then, esp. as ctypes is part of the stdlib now.
-Sw.