for the installation with github arduino-create-agent

[Stefan_Mihael_Rihar]

GitHub - arduino/arduino-create-agent: The Arduino Create Agent

Hello,

i attached a certificate number that apeared during the Installation of the above mentioned program.

It is asked wether it is true, that the number is connected with Arduinos Workspace.

Is it?