After open ServiceDeclarations.fsi without a project open: 