There is now also a button for “advanced resolution settings” in display settings menu, and behind it there is a toggle to permanently display all possible resolutions among the existing ones already there.

Thanks, I didn't know I could do that. I've been using a 3rd party utility...