Specifically WRT `u3_none`. See #828.
Specifically WRT
u3_none. See #828.