Change these names to singular --> re-opened and discussed on 10/10. Based on the comments from Zulip, we will leave these unchanged ("diagnostics" and "details", rather than removing the "s"). Arguments include: > Grahame Grieve: And, in fact, "diagnostic" sounds positively wrong to me, though "detail" doesn't. > Anand Mohan Tumuluri: I don't think that this change provides any value while at the same time has a downside in terms of amount of change needed. The pain-to-benefit ratio is too high here.