Curious bugs in Help Viewer and Stage Manager