In https://github.com/celo-org/specs/pull/71 we removed some demos from the specs page. They should be checked and added to the docs.