> Reverse sorting should keep subscripted users on top.

Will userOrdering.reversed() account for this?