Patch Set 1: Looks good to me, approved; IP review completed

Works fine.

What I don't like (but had existed before) is that we have two sections extending org.eclipse.ui.perspectiveExtensions.

I'll fix that.