make doc on choosing TYPE=Core by default clearer/consistent