realworld/prod: links for decrypt256-pkg-101happy