Cinnamon HiDPI option vanished with latest release

[docwebhead]

On a Samsung ChromeBook Plus, the ability to select the pixel-doubling HiDPI setting in the Display control panel was a godsend.

I hope this is an error on my part, but it seems to have vanished with the latest update (as of Friday, 16 June 2017 aka Boomtime, the 21st day of Confusion in the YOLD 3183).

I did have some pacman issues updating, so let's hope it's me! But if not may this feature be restored?