Yes. He points out that this will only occur if one types in the filename oneself, omitting the CIS number. When Navigator retrieves something in response to a Get It request it prepends the number. Following his advice I tried prepending the number in brackets [] to the filename, and…