9.3 mini distro question