Any thoughts on ditching the dev format? Do we *really* need both? (Is the dev format that much more convenient when developing locally?)