pub const STUBS_FILE: &str = "pite.pyi";
Shipped stubs file; its parent dir goes on the server’s extraPaths.
extraPaths