Add comment on gymnastics in auto_add