Support for exporting/importing doclets, fixes #2.