Furthermore, I might be able to motivate mmpool to resume merged-mining Namecoin. It's called "mm"pool after all ;-)