Issue #25533: Merge frozen module docs from 3.5