Is there any documentation for this? The linked Github page 404s https://ludofleury.github.io/satisfy/