v8.2.3900
8bb65f23 · patch 8.2.3900: it is not easy to use a script-local function for an option ·