とりあえず日本語トップの「広告なし」は書き換えろ。
日本語読めない奴には指摘してあげないと，「広告なし」って書いてあることに気付かない。
coqから「日本語で，そういう意味の表記がいまも表示されててまずい」って伝えれば
「じゃあなんて書けばいい？」って感じで向こうも対応するだろ。

とにかく今のままでは「看板に偽りあり」だからな。
専門知識はまったくないけど，なんらかの法律とかに抵触しているだろ多分。