There's information about SELinux Demonstration Machine at http://www.gentoo.org/proj/en/hardened/selinux/selinux-x86-handbook.xml?part=4&chap=3#doc_chap4. However there's no other information about it at any other SELinux Project's page. I only found commented link in source of project's main page: <!-- <resource link="http://selinux.dev.gentoo.org">SELinux Demonstration Machine</resource> --> But there's nothing at this address too.
fixed in cvs