I could create a project with the following description stored in alire.toml which is probably not going to work:

description = "Programs from the book "Program Proofs" in SPARK"

I'll remove the quotes, but in general that may require escaping of the description.