Midgets are tiny but normally proportioned.
But NONE of the names are “polite”. (I couldn’t care less, frankly.)