Yes, that's intentional. Teensy 2.0 still supports Arduino 0022 and 0023, which only use .pde extension. Even though Teensy 3.0 only works with Arduino 1.0.1 and 1.0.2, lots of code written before Arduino 1.0 uses the .pde extension. Arduino works fine with either.