{ if (browser) goto(root(`/tools/${tool}`)); }} > {$locale().tools.picker?.placeholder} {#each Object.keys(tools).filter((t) => t !== 'default' && !tools[t].hidden) as t} {tools[t].short || tools[t].name()} {/each}