dosbox-automation.org uses GitHub and Lunr.js | TechLeads