What are the pros and cons of seeking a formal diagnosis of autism? — LessWrong