Indeed, fixed the link in the post and adding it here as well: Treasury Secured Puts (TSPs)
Thank you for pointing it out!