(options.py; OPTIONFILE_VERSION=4) new option : 'rst::add the to-be-duplicated entries'
TextDBDictFile.addFile : documentation
to-be-duplicated entries added to the articles of the dictionary