For some reason, I ended up posting a blog post on w.g.o when I meant to put it on my personal blog. Instead of going to
blogs.gnome.org/sri/admin, I ended up at
blogs.gnome.org/admin. Anyways, sorry about that. I have deleted the post. But I wanted to mention it here in case people wondered what happened.