Do note that the remote containers extension is not open source (not that we're entitled to that or anything, I just wanted to point it out).