HC4: Documentation and demos