The text 65c7bcb29168, as Debian 8 (Jessie) shipped it.
See external documentation: wxStyledTextCtrl.
wxStyledTextCtrl(3erl) on Linux now
