WordPress plugin that appends the post ID to the permalink of all posts in a category.