Put finishing touches on ReDoS post.