This may seem a little silly but I do not have a clue as to how to find the Teensyduino version in an existing version of Arduino. Is that possible and how? Thanks