Don't remove this FIXME. This is still something we need to fix, because there might be other callers of `Launch()`