Indeed I also had the same questions as you...it is indeed weird...
the order of coordinates is t,x,y,z . I'm wondering, why you mentioned that the transformation should mix t and y ? what would differentiate x from y since the rotation is around z?
Also , why in the matrix for the rotation, we...