Fixed: coqdoc links to section variables introduced with :cmd:`Context` (#18527, fixes #18516, by Pierre Roux).