Use the org.eclipse.ui.editors.documentProviders extension point or not?

[ymeine]

Should we use the org.eclipse.ui.editors.documentProviders extension point or not?

We can manage without, as it is done for now, but maybe it's better for design purposes to use it.

It used to be configured like that in plugin.xml under extensions:

<extension
     point="org.eclipse.ui.editors.documentProviders">
  <provider
        class="poc.document.DocumentProvider"
        extensions="tpl"
        id="poc.document.DocumentProvider">
  </provider>
</extension>

but as far as I remember it had some quirks.