Yes, this should be a very useful feature, being able to export the dials to an html file. Not mainly for sharing, but as a way to back up dials when installing a new system. A list of dials may not end up being as long as some bookmarks, but even so, remaking a hundred dials is a task that will result in many being forgotten.

So, an export function would be very useful.