[OpenTK] Renamed x/y to hotx/hoty

The new name matches their functionality closer.