so far I've only run a check for available updates
and the aforementioned kb4507449, which is July 2019 monthly rollup, is not listed as one of the available downloads.
What is listed as available for download are:
kb4516065 (security monthly rollup for September)
kb915597 (security intelligence update for windows defender antivirus v1.303.1.0)
should I go ahead with these and skip over the july update?