[STUMP] who runs stumpwm.org?

Hi folks,

Does anyone here run stumpwm.org? It's out of date. Maybe it could
just forward to stumpwm.nongnu.org instead of caching the website?

-Shawn