Chrome developer tools are pay-for-play. Aside from download size, users are not impacted by the existence of the developer tools. Users who don't want a physical keyboard can't exactly remove it.