Oh I see - good to know.
So in this sentence:
For Search Engine add-ons to continue working, they must be converted to an extension using the WebExtensions API by December 3, 2019.
What will happen on December 3, exactly? I get that search engine add-ons will be removed on Dec 5, but how will they cease to “continue working” on Dec 3?