10.13.2 actually.<p>>Say hello to the "Double Map" since 10.13.2 -- and with some surprises in 10.13.3<p>> Question: Is that right that there is need for 10.13.3 for full bug mitigation?<p>> No, sorry, did not mean to imply that. There are some changes in 10.13.3 but they shouldn't affect the quality of the mitigation _as far as I can see_