Looks like @bitcoin-bug hasn't received any replies yet!