User blog comment:Bantha117/Walt Disney vs Jim Henson - ARBoUDQ (OGTTISLAL)/@comment-5482968-20150727050806/@comment-5482968-20150727050845

And now it appears to be fixed. So yey.