git.eclipse.org / sourceediting / webtools.sourceediting / 8487c6f0aaa9453239b39e2ffdbd3503e6d6a86e / bundles / org.eclipse.wst.html.core / .options