brian/prod: links for true-random-passcode-generator