Ask HN: What are the signs that you have a great manager?