Looks like @cryptodesign hasn't received any replies!