rename-extensions

Just a toy script