Apologies for the slow and/or unresponsiveness of NaSoLab web services today. Our host, DreamHost, seems to be suffering an apocalyptic hardware meltdown that is affecting tens of thousands of websites across the interwebs. Hopefully this will be cleared up soon.