Revised documentation in 'Demonstrations'.