Ben Gamari authored Jun 14, 2019 and Marge Bot committed Jun 18, 2019

This guarantees that the interface file for `UserSettings` doesn't 
contain any unfoldings, ensuring that a change in it requires minimal 
rebuilds.