Sad to lose someone working so hard for #Bitcoin, only four official maintainers left.