arch" oninput="search()" />
    <div id="content" class="language-nix">
        @CONTENT@
    </div>
    <script>
        for (let d of document.querySelectorAll(".desc")) {
            // wrap links in <a>
            d.innerHTML = d.innerHTML.replace(/https?:\/\/\S+/g, '<a href="$&">$&</a>')
        }
        let options = Array.from(document.querySelectorAll(".option"));
        function search() {
            let value = document.querySelector("#search").value;
            let filtered = options.filter(