Fabian Montero b891d9a9b0 tabi: make external links in navbar open in a new tab		2025-09-18 10:57:06 -06:00
..
tabi-lean	tabi: make external links in navbar open in a new tab	2025-09-18 10:57:06 -06:00