No one just dumps 9k without a reason. Someone knows something. If a dev team member knows something and doesn't share it but trades then it is considered insider trading which might not be illegal for crypto but it is unethical and damages the reputation when it surfaces. Just a kind reminder
