type="text" name="q" <?php if (1 > strlen($opts->query) || strlen($opts->query) > 256) { header("Location: ./"); die(); } require_once "misc/tools.php"; $instances_json = json_decode(file_get_contents("instances.json"), true); $librey_instances =