Professionals GitHub labels adder-remover became obsolete. AGI practicality achieved