Sometimes people ask specifically about mining Namecoin. It should be made clear that this is pretty much impossible. Something like this:
How do I obtain namecoins?
(current FAQ entry)
Can I mine namecoin?
Probably not. Since Namecoin is merge-mined with Bitcoin, mining bitcoin at certain pools will also give you namecoins as a by-product. However, mining namecoin by itself is not profitable, even with specialized hardware and cheap electricity.
Currently, there's a FAQ entry as such:
Sometimes people ask specifically about mining Namecoin. It should be made clear that this is pretty much impossible. Something like this: