After 10 Years, I Am Adding JavaScript Back to This Website

I removed JavaScript once to pursue a fully semantic HTML, but it is very hard to keep it accessible without JavaScript when some components are involved.