How can I replace (or strip) an extension from a filename in Python? How can I replace (or strip) an extension from a filename in Python? python python