name = "Pietro Albini" github = "pietroalbini" github-id = 2299951 email = "pietro@pietroalbini.org" discord = "pietro#3134"