add extension (org.eclipse.help.toc)