Cannot export bookmarks to *.HTML file in Ice Dragon

I followed this protocol for exporting bookmark from Ice Dragon to an *.HTML file:

Click the bookmarks button then select 'Show All Bookmarks'
Click the 'Import and Backup' tab on the 'Library'
Select the 'Export Bookmarks to HTML'
Choose a location where you want the bookmarks to be saved and click the 'Save' button

Problem is, nothing gets exported, i.e., my destination directory is empty. I’ve tried to save in different directories/drives to no avail. I’ve also searched the Ice Dragon installation for a bookmark file but there is none. Any thoughts on this issue would be appreciated.

Monk