Board Thread:Technical Updates/@comment-957747-20180522211256/@comment-126761-20180523005008

Yes, I believe it should be dealt with by the same fix (it's a JS loading order issue, afaik).