Disney has been slowly but delicately clipping the name Fox out of the company names and public facing brands it bought, presumably to further distance from the remaining parts at News Corp (Fox News): 20th Century Fox to 20th Century Studios (which is a sort of funny unwinding of the 1935 merger, I think especially because 20th Century is now such a dated term), Fox Searchlight to Searchlight Pictures, things like that. Most of those brands also generally now report on the org charts directly to their pre-existing Disney counterparts or as direct peers to them and the "Fox Filmed Entertainment" middle layer seems to be almost entirely gone now (as there's no replacement for that name).
At this point it does seem easier to not have to look up if something is NewsCorp Fox or the parts of Fox that Disney bought because Disney no longer calls them Fox.