Header distribution fixes

This fixes the module map and a few includes for macOS and iOS to offer the specific features of each platform.

changed milestone to %4.0

added Maintenance label

enabled an automatic merge when the pipeline for 146b1048 succeeds

merged