add syn-diagnostic to "other tools" page