There is no way to prevent us from serving the .html URL if someone types it in. The idea is, you don’t publish that URL, nobody finds it, and thus you have no duplicate content problems.
The Pretty URL’s feature just REWRITES your html and js and css to link to /file instead of /file.html. We’ll still serve both, with or without the feature enabled.