I see that the time dilation aspect of relativistic cosmic-ray muons has been added. This is one of the most often cited examples of evidence for time dilation. But I'm confused about the length contraction issue; I don't think it applies. It seems to me that the muon is not affected by the issue of how far away the Earth's surface is at any instant. It only "knows about" its own local ("proper") time, and its particle decay "clock" operates on that basis. When it reaches the Earth's surface, the probability that it decayed is a function only of the proper time that elapsed since it was created in the upper atmosphere. And that probability is what gets measured.
Am I missing something? I don't want to revert the length contraction material without checking with you.