The TACAS page should link to a special PIDE-only version of Coqoon
Merge branch 'master' of github.com:coqoon/coqoon.github.io