I honestly wouldn't have bothered (and when it inevitably comes back, wouldn't bother either) -- as everyone else said above, everything there is innocuous, safe, and likely beneficial for your tank... I see nothing in the picture linked above that would imply to me that there was a fungus at play here.

-Justin