One-liner:
s = re.sub(r'\.\d+(?=\+)', '', 'manual__2025-04-08T11:37:13.757109+00:00').replace(':', '_').replace('+', '_')