Update Scintilla to [85a5b4].