I know that nobody is reading this right now, so this is addressed to posterity. I haven’t posted in about 6 weeks because things at work have gotten WAY busy, and it’s likely to continue that way for a while longer. I hope to get back into the flow of things soon, but you never know. But since nobody’s reading anyway, it doesn’t really matter now, does it?