protectedHeaders and protectReferencesHdr undocumented in the website

[Ilario Gelmetti]

Dear all,
I saw that in my Thunderbird/Enigmail configuration I have the following lines regarding Memory Hole:

extensions.enigmail.protectHeaders
extensions.enigmail.protectReferencesHdr
extensions.enigmail.protectedHeaders
extensions.enigmail.protectedSubjectText

But in Enigmail website just two of them are documented, while protectedHeaders and protectReferencesHdr are undocumented.
I found some description of the two options in the code here.
Can anyone document these options on the website?
Thanks!

[Patrick Brunschwig]

extensions.enigmail.protectHeaders is not used anymore. You must have use a nightly build of Enigmail that used that pref in the past.
extensions.enigmail.protectReferencesHdr is not documented on purpose, as I don't recommend to enable the option at all. I will actually remove the related functionality in the next release.