Si recuerdo correctamente, la clase docked está pensada para el contenido adicional que se agrega al encabezado (en la sección Header de un tema). Puedes agregar una línea de texto a Header para ver que la clase se muestre/oculte como se espera.
Por lo tanto, a menos que tengas contenido personalizado en el encabezado, este permanecerá fijo al hacer scroll y se mantendrá así permanentemente.
Hace mucho tiempo (creo que más de 4 años), desanclamos el encabezado en la parte superior de la página… pero eso regresó sin que nos diéramos cuenta durante mucho tiempo, y luego decidimos adoptar ese comportamiento regresivo.
Es probable que podamos mejorarlo; el comportamiento actual provoca un pequeño “salto” inicial al hacer scroll por primera vez (haz una recarga completa para verlo)… pero debemos tener mucho cuidado de no romper todas las personalizaciones de encabezado existentes que hay por ahí (¡son muchas!). Podría tener sentido esperar un poco más (hasta que dejemos de soportar IE11) y luego considerar realizar mejoras más significativas junto con eso, como usar position: sticky; en lugar de fixed.