5 ms·

Are you sure about this? I just wrote a script without a .py extension, and it seemed to work fine.