[2020] Workshop Bug with Dummy Bots not being recognized as Bots

Thanks for the report! We’ll take a look and make sure we get this fixed.