Put semantic-symref under navigation instead of documentation