You're right -- my bad. I guess I've always called extensions "plugins", partly because I don't care about actual plugins very much. (Time to change.) I'll add

You're right -- my bad. I guess I've always called extensions "plugins", partly because I don't care about actual plugins very much. (Time to change.) I'll add an update to the blog post to clarify.