Yes, that seems correct. This confused me also.
On macOS 10.15.x Teensyduino.app seems to now be a full replacement for the Arduino.app (likely because of security issues - modifying other...