From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity (Logical Methods in Computer Science, 2025)