Unfortunately, your suspicion is right. The 4 corner adjustment isn’t available for HDMI or USB-C sources. See this thread for more information about the limitations on external sources: INFO: Limitations of features for HDMI and USB-C inputs
1 Like