Looks like @bitcoin10k hasn't received any replies!