Are we switching from `<source>` to something else?