More on the wordpress bug

It was indeed a bug in WordPress. Read more about it here. It’s good to see that this was fixed quickly. Good job.