For example, is it still "extinction" if a future computer sucks the last million remaining human brains into the matrix. Or if it keeps their DNA around for the sake of its historical significance?

Or if all humans have voluntarily [1] changed into things we can't imagine?

[1] I sloppily assume that choice hasn't changed too much.