Hello Donald,
Actually, I no longer work for INSIA; I left 10 years ago (!). However, I know for sure that they dismantled everything we built there as soon as we technical founders left.
They're now using cloud-based services and students are free to choose whichever operating system they prefer. I'm sure some of them still favour Debian, but that's not a global choice anymore.
All in all, removing the entry is sadly long overdue.
Cheers,
- manu
Dear Debian user,
We are in the process of updating the “Who's using Debian?” web page[1]
on which
you have an entry[2].
Please let us know if the information posted is still relevant or if
there have
been any changes in your use of Debian, so that we may update your
informational
entry accordingly.
If we do not receive a response within the next 30 days, we will remove
your
entry as we move to keep the listing current. If this happens and later
you want
to be included in the list of "Who uses Debian", follow the instructions[3].
We eagerly await your response.
Donald Norwood, from the Webmaster Team
[1]https://www.debian.org/users/
[2]https://www.debian.org/users/edu/insia
[3]https://www.debian.org/users/#submissions