Minor site churn

By
Posted on
Tags:

I’m going through some of my older posts and adding tags to them. I’m also colorizing source-code snippets when I find them. Both changes will cause articles to be updated, so if you’re subscribed to one of my feeds, you may be seeing some old content again. Sorry about that.