Comment by 1718627440 Comment by 1718627440 10 hours ago 0 replies Copy Link View on Hacker News The file format is just plain text, you can use sed to change the username.