Looking at it now, we do this (copy the primary extension under `extensions`) in a bunch of places. Probably worth cleaning it up at some point.