Raise AJAX timeout from 3s to 10s
index.js @@ -419,7 +419,7 @@ $.ajaxSetup({ dataType: 'json', timeout: 3000, timeout: 10000, }); stop_name.addEventListener('input', function(e) {