Quick question about workers sizes

Original message was deleted