Re: Quesitons about dev environments, CI, etc.