Strategy for Handling Deprecated Extensions on EXO

Thx! From what I’ve seen, there are already a few extensions that have “[Deprecated]” in their title, both on EXO and in the Extension Manager.

Re option a) when you say “mark them as invalid”, is there an existing invalid property on extensions that will make the extension not listed at all in the EM?