IIRC, `@hidden` and `@private` are the same thing... still, it would be nice to standardize on one.