Waldir Pimenta

Yeah, agreed! The need to constantly log in again every time I use the tool is quite inconvenient.

> The imperative is _instructing_ the user to take the action, not just telling them what something does. That's precisely the issue I pointed out in #13635: the first sentence(s)...

> Do the "Typing" and "Pressing" prefixes add anything of value? What if they were just removed? I don't think what we'd gain in conciseness would justify the extra ambiguity...

@David-Else yeah, agreed, since there's already precedent for the "esc" abbreviated notation in this file (albeit using a fully capitalized format), and because all the references to the Ctrl key...

Just a small suggestion for your consideration: one positive aspect of the first of the two current styles is how it is explicit about which lines are repeated; the style...

Using bold is certainly an improvement over the initial approach! I personally like the third option conceptually the most, because it's symmetrical in how it represents the start and the...

To be clear, it's not that I expect people to actually assume the "repeated X more times" is part of the stack trace; it's just that it adds a small...

I like it! It's explicit and accurate. :heart_eyes: (Admittedly, it's a bit busier than the approach with only the tick at the first frame, so just to be clear, I...

> What is a possible alternative interpretation? I fail to see the ambiguity in the OP's proposal. Just to clarify, I explained in an [earlier comment](https://github.com/JuliaLang/julia/pull/55841#issuecomment-2543996747) that it's not so...

I'm a bit out of the loop here — what does "stars" refer to in the context of this issue? User reviews? Actual astronomical stars? Something else? :thinking: