It should be configurable or at least specified in one place. Also it should probably be `.dx` or `.dxos`.