Rudder

Something like:

document.addEventListener('keyup', function (event) {
    if ('textarea' == event.target.tagName.toLowerCase()) {
        return;
    }
    if ('input' == event.target.tagName.toLowerCase()) {
        return;
    }
    if (event.key === '/') {
        document.getElementById('searchInput').focus();
    }
});

seems to work fine to focus quick search with /