Solid review. A slight clarification is that doubling 1080p isn't 3840x2160, but somewhere in between. These 1080p pixel shifting models are only reaching halfway to 4K resolution. Which is fine as they still look really good.
Two items not mentioned that I think are really important:
PRO: The Epson has motorized lens memory and preset recall making it one of only a few projectors on the market that can support a 2.35 and 1.78 screen out of the box. (JVC being another)
CON: Only has a 10Gb/s HDMI input which limits the accepted input formats.
2018 should see a ton of entries into the 4K (faux-K) marketplace now that we finally have a 4K DLP chip on the market. So, Optoma, Vivitek, BenQ and others are lining up their DLP models with the new DLP chip inside of it and are hitting sub $2,000 price points all over the place.
The problem being that Epson does contrast worlds better, and JVC does an even better job then Epson.
I still remain firm that unless you need that extra light output, that JVC is the way to go. From their entry level RS440 on up, their use of 18Gb/s HDMI 2.0 inputs vs. Epson's 10Gb/s allows for higher color depth inputs and they are working on their 5th generation of 4K projectors vs. Epson still working with their first generation.
The best part of the article was really saying, flat out, that 4K is still, very much, a growing technology and has a lot of details to get figured out before it will be truly standardized across the board. Getting more HDR support and several true standards adopted and supported is going to be critical to the format as is ensuring full Rec2020 support on the products.
The 6040 isn't exactly a new model anymore, but it does remain one of the best. More notably in the 5040 version that comes in around $2,500.