[deactivated] comments on [deactivated]’s Shortform

[[deactivated]]

Thanks!