Maybe if we need to change it. This stuff all belongs to old-UI code that's going away imminently.