Jetson SUB Mini PC -- input voltage range?

Hello-- I have some of the Jetson Sub Mini PC-Blue, and I see the product page lists their input voltage as just “19VDC”.

Has anyone found a datasheet or documentation of the full allowable input voltage range (we are integrating it into a DC system with our own power supplies)?

I found a third-party announcement article about it that suggests it can accept 9V-19VDC, but I was hoping to find a datasheet or something more authoritative to support that…

Thanks for any tips.