When I switch to neovim, I was slow and not productive at all. 😂 Eventually my head get used. Hope that happen to you as well

it proof that our GADT based router that provides type safety does not require a performance trade-off. 😃

I genuinely wanted to click those links.😂