Re: [Users] Mini-Workshop on FunHPC (today 9:00 EST)