Note: I left StumpWM for EXWM and have stopped making changes to this config long ago.
My StumpWM configuration. Copied a lot of stuff from multiple other public configs, so it's not that original. Mostly intended for my personal use, but it'd be great if this helped anyone.