Comments by "LoneTech" (@0LoneTech) on "Sheafification of G" channel.