On top of that, different rules apply to SmileBASIC. Sometimes it'll be Smileboom that takes it down. They still have the power over their servers in the end, and copyright was indeed a term under the publishing agreement.