Is the web demo compiled from the lean?