git.eclipse.org / sourceediting / webtools.sourceediting / 17ed4a66c303ba9679f5e4350a068fdf9a07e5f5 / docs / org.eclipse.wst.sse.ui.infopop / about.html