Update stumpwm.texi.in