Pulled examples out into own package, so the references to halgo can be present.