Merge "Settings: add a new developer menu entry to show refresh rate overlay"