title: Format a datetime into a string with milliseconds
body: <p>How can I format a <a href="https://docs.python.org/3/library/datetime.html#datetime-objects" rel="noreferrer"><code>datetime</code></a> object as a string with milliseconds?</p>