Bug in docs plugin: Pinned topics are not at the top

Has anyone been able to find a solution or workaround?