Danke!
Das hat in meinem o.g. Funktionszusammenhang nicht funktioniert.
Und dass man window.location.href explizit etwas zuweisen muss hatte ich nicht auf dem Schirm.
Vor über 2 Jahren hatte ich Letztesmal mit Js zu tun ...
Ich habe jetzt nur deine Anweisung genommen
und meine else if - Erweiterung der function checkKey(e) rausgenommen.
So funktioniert sogar mein Anfangs gedachtes './'
window.location.href = './'; // oder index.php, ...
best,
all