An Old-Time Window Manager

FVWM ("FVWM" Virtual Window Manager) is still my favorite. I downloaded new versions of

• fvwm (2.4.19-1)
• fvwm-themes (0.7.0-2)

and used my old version of

• libstroke

all available from the FVWM home page. Using my old .fvwm/.fvwm2rc file makes everything work just fine.