diff --git a/man/check-os-release-simple.py b/man/check-os-release-simple.py
new file mode 100644
index 0000000000..738b1fd860
--- /dev/null
+++ b/man/check-os-release-simple.py
@@ -0,0 +1,12 @@
+#!/usr/bin/python
+# SPDX-License-Identifier: CC0-1.0
+
+import platform
+os_release = platform.freedesktop_os_release()
+
+pretty_name = os_release.get('PRETTY_NAME', 'Linux')
+print(f'Running on {pretty_name!r}')
+
+if 'fedora' in [os_release.get('ID', 'linux'),
+ *os_release.get('ID_LIKE', '').split()]:
+ print('Looks like Fedora!')
diff --git a/man/check-os-release.py b/man/check-os-release.py
index dbac79fd70..91a5494b4a 100644
--- a/man/check-os-release.py
+++ b/man/check-os-release.py
@@ -29,7 +29,7 @@ def read_os_release():
os_release = dict(read_os_release())
pretty_name = os_release.get('PRETTY_NAME', 'Linux')
-print(f'Running on {pretty_name}')
+print(f'Running on {pretty_name!r}')
if 'debian' in [os_release.get('ID', 'linux'),
*os_release.get('ID_LIKE', '').split()]:
diff --git a/man/os-release.xml b/man/os-release.xml
index dd3c39f876..4acd1a9a57 100644
--- a/man/os-release.xml
+++ b/man/os-release.xml
@@ -502,9 +502,23 @@ VERSION_ID=32
Reading os-release in
- python1
+ python1 (versions >= 3.10)
+
+
+
+ See docs for
+ platform.freedesktop_os_release for more details.
+
+
+
+
+ Reading os-release in
+ python1 (any version)
+
+ Note that the above version that uses the built-in implementation is preferred
+ in most cases, and the open-coded version here is provided for reference.