General sentiment seems to be “this is good”, but general sentiment from the same group about Tether mining with Ocean is “boo”