Hi Aline,
Current WOK page has "Help" button, which renders blank page. If you think we don't need help page for WOK, i suggest we shouldn't have Help button. Or going with your line ""I think it is hard to us to point the user to any specific plugin like kimchi or ginger, as anyone can develop a wok plugin and host anywhere" -- we can always modify the help message to exclude what plugins can be installed.