Merge branch 'release/3.12.1' into develop
Enhance the platform detection mechanism to correctly spot Debian; use Python platform module a little more. Refactor code. Spotted with @eliotberriot.
version bump
Merge branch 'release/3.13'