Document the removal of devel/grpc_old
This port was added by accident in r564200 and removed in r564203.