Instead, an important thing that I had noticed even before trying
wayland, but forgot to report in the previous email is that the
“Default” button returns the threshold to 10, as required. In
contrast, the “Reset” button on the slider brings it back to 0. This
difference can also be seen in chromakey.C :