code: final GetObjectRequest createInstructionGetRequest(
          S3ObjectId s3objectId, String instFileSuffix) {
          return new GetObjectRequest(
              s3objectId.instructionFileId(instFileSuffix));
      }
docs: Creates and return a get object request for an instruction file.
  
  @param s3objectId
  an S3 object id (not the instruction file id)
  @param instFileSuffix
  suffix of the specific instruction file to be used, or null if
  the default instruction file is to be used.