Move org.eclipse.platform.doc.tips to platform repository

[laeubi]

org.eclipse.platform.doc.tips looks like a regular bundle not related to the aggregator at all... it also does not contain any documentation.

@akurtakov @mickaelistria WDYT?

[akurtakov]

All platform docs are here o.e.platform.doc.isv and o.e.platform.doc.user. The actual tips it loads are in https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/blob/master/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/tips/platform_tips.html so I would rather have them together.
It's another questions how useful these tips are if no one actively maintains and enhances them.

[laeubi]

It's another questions how useful these tips are if no one actively maintains and enhances them.

Probably no one knows these "tips" are there, never heard about that.

I would rather have them together.

If I understand correctly one is the bundle to display the tips so for me it seems like any other bundle we have that could reside in the platform repo?

[iloveeclipse]

Probably no one knows these "tips" are there, never heard about that.

Don't get me wrong, I also never heard about many things in this world, but it doesn't mean they do not exist or are not used.
In this concrete case, tips framework is actively used in our internal applications. The problem with updating tips for SDK/platform for each release is a different story.

[laeubi]

In this concrete case, tips framework is actively used in our internal applications.

That's for me another reason to move it from aggregator -> platform as it obviously is not a feature of aggregation but used in other applications as well.

The problem with updating tips for SDK/platform for each release is a different story.

As said I never see any tips in my IDE (maybe disabled by default?) and for every new feature it is only asked for adding a N&N I never seen someone telling "please ad this to the tips") so for me it is not very surprising that

no one actively maintains and enhances them

what I think @akurtakov meant as them == the platform tips, not the tips feature itself.

[akurtakov]

no one actively maintains and enhances them

what I think @akurtakov meant as them == the platform tips, not the tips feature itself.

^^ 100%