Curious about Sirius XM's big gains last month? Here's how a long-planned restructuring took its final step in October.