Ask HN: How to Deal with a Bad Manager?