A version of the Alloy reference site containing additional features for demoing purposes - View it on GitHub