A knowledge garden with pijul as the change backend