Did we decide on if we are to do namespacing of extension settings with ``ext.spotify``?