They didn't go very far though.
Steve's key was removed in 2015, because his key was 1024-bit:
https://salsa.debian.org/debian-keyring/keyring/commit/281f3...
Apparently Debian folks learned about Steve's death only in 2016:
https://salsa.debian.org/debian-keyring/keyring/commit/98466...
The part of the project history page about Steve was added in 2020:
https://salsa.debian.org/ddp-team/project-history/commit/e93...
They didn't go very far though.
Steve's key was removed in 2015, because his key was 1024-bit:
https://salsa.debian.org/debian-keyring/keyring/commit/281f3...
Apparently Debian folks learned about Steve's death only in 2016:
https://salsa.debian.org/debian-keyring/keyring/commit/98466...
The part of the project history page about Steve was added in 2020:
https://salsa.debian.org/ddp-team/project-history/commit/e93...