The text b316a833f7e9, as Debian 10 (Buster) shipped it.
parse arguments for scrolling commands
Tk_GetScrollInfo(3tk) on Linux now
