Advice from the developer of the chatgpt bookmarklet on how to customize the name of the file it generates.