[Users] Remote Mini-Workshop: FunHPC and friends