Hello! Also a reddit refugee here. I was thinking of making the switch before all this since reddit needs an increasing array of tweaks & add-ons just to be usable (RES, old reddit redirect, custom ublock filters etc.) so this seemed like a good time to start migrating.