The text b953fec70fe3, as Debian 10 (Buster) shipped it.
See external documentation: wxUpdateUIEvent.
wxUpdateUIEvent(3erl) on Linux now
