Comments by "IgorTheLight" (@igorthelight) on "Sheafification of G" channel.