Update Scintilla to [b7f3f1].