He reclasificado esto a la categoría Contribute > Bug.
Arreglado en
Otro error que encontré, bastante grave, era que abrir el editor enviaba tres solicitudes duplicadas al servidor. Esto se ha corregido en
No puedo reproducirlo. Para mí, la navegación con la tecla Tab funciona bien.
@Sujan ¡Gracias por reportarlo!