Comment on "We're aware of the DMCA takedown notice of julialang logo by an OF creator"