Removing .html extensions from links on export using an export script

You would need to use a script that runs a html parser. I would recommend Python Beautiful Soup but be prepared to learn. Once you have that succeeded you can basically modify any html file and its contents - removing, adding, or changing anything in the file, along with saving with a new name and/or extension.

Welcome to the forums !!!