For some reason the side Namecoin mining appears to have stopped about a month or so ago...has merged Namecoin mining been disabled?