Veteran Bitcoin developer Luke Dashjr exits OCEAN pool - Will hash power follow him to new pool?