It's all client side. The entire database of error messages is downloaded up front and searched in JavaScript. The database is just a JSON file that I put together with some scripts to parse a few header files and other documentation. The whole thing is fewer bytes than a typical news article page these days, so why not download it all up front? I wish more sites worked this way.
Thanks for sharing!