Right click on [HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings] and select export
Export as Registration Files (*.reg)
Rename the resulting file into .txt so that it doesn't end up in our mail filter
Note that the registry has to be exported as *.reg and renamed into .txt. It will not work to export into *.txt directly as regedit then uses a different format.
Notes on importing the resulting text file:
The settings can be imported by renaming the text file back into .reg and double clicking it. Before doing that it is best to first take a backup of the registry using the steps above in order to be able to be able to restore the original settings.