Revert "#9: dppx min resolution"

This reverts commit baecaca584aaf299281a22d604c82ac790e89d8d.