Read-only release history for Module-Pragma