Abdelrazak Younes wrote: > Then we need docstring as we don't know which kind of extension a user > could create.
Please: format name != file extension!!! I fixed several bugs resulting from this misunderstanding. format names are unique, file extensions not. Georg
