How are you doing @jesterchen@social.tchncs.de ? Been a while since last check in 🤙 I hope you are doing great and that you are getting close to summer vacation 🤟