Looks like @cryptorandom hasn't received any replies!