The name was decided 3 years ago and people have been running stretch on their computers for a long time now, renaming it would've been rather impractical.
Debian releases are codenamed from Toy Story. So naming it after a real person would break the convention, although in this case it might have been fitting.
