gnome-devel-docs translation

Hello,

As you may know, https://developer.gnome.org/ has now a new face and contents, not translatable, while its old content is in https://developer-old.gnome.org/

Having that said, is gnome-devel-docs translation is still used/worth translating? If not, can we drop from Damned Lies?

Best regards,

Rafael Fontenelle

Follow-Ups:
- Re: gnome-devel-docs translation
  - From: Emmanuele Bassi