How to extract an audio file from a video with Python

Before finding working Python code for the purpose of this post, I thought it would be easy to find...