I've never heard double jumping in the first metroid referred to as anything other than a glitch (although it became a legitimate feature of later games). I think it's funny how he obsesses over how you don't flash in the lava when you take damage, but you do flash from enemy damage. It doesn't occur to him that it's a different kind of damage, so flashing isn't necessary.