Board Thread:General Discussion/@comment--20150810171627/@comment-3008558-20150811102856

So that would explain the glitches like Mike's navigation menu and my customized edit toolbar, I'm guessing, but will these things be sorted out in time or do we actually need to do anything ourselves, and if so, how?