Thanks for this information.
The module has been obsoleted on l10n.gnome.org, but it will stay for
some time for historical and statistics purposes.
Claude
Hi Claude,
Not sure if this is a problem or not.
Those gnome-devel-docs are not in GNOME 41 Documentation section anymore,
but they are still in GNOME 40 and GNOME 3.38's Documentation section.
Regards,
Andika