Bug no plugin de documentação: Tópicos fixados não estão no topo

Alguém conseguiu encontrar uma solução ou um paliativo?