ENABLE_VIDEO_THUMBNAIL and ENABLE_THUMBNAIL documented wrong

EDIT:
Below is my original question. Seems that the Seafile documentation on seahub_settings.py is wrong. It appears that they got two settings confused. ENABLE_THUMBNAIL does not exist in the code any more (in server 10.0.1) and so appears to be deprecated. In the documentation they show it is still in use. While the docs say ENABLE_VIDEO_THUMBNAIL is deprecated but it actually still exists in the code and appears to be in use (in server 10.0.1). So I guess whoever wrote the documentation got these two settings confused. Here is the docs url: seahub_settings.py - Seafile Admin Manual

Original:

Hi,
Does anyone know if this option is deprecated in 10.0.1 (in the documentation it seems to still be implemented)? I set the value to ENABLE_THUMBNAIL = False in seahub_settings.py (delete the settings cache and restart) but the image thumbnails keep being generated. There is no such option in the DB constants config that supersedes it. Any help will be appreciated, thanks.

Thanks for reporting the issue.

The option ENABLE_THUMBNAIL is removed in the latest version, because there is no need to turn off image thumbnail. (I have updated the manual accordingly.)

ENABLE_VIDEO_THUMBNAIL is deprecated and not recommended to turn on, because generating thumbnail for videos will cause a lot of CPU time and make the server freeze sometimes.

In version 12.0, we will redesign how the video thumbnails are generated.