• This change is worth documenting at https://docs.all-hands.dev/
• Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below

End-user friendly description of the problem this fixes or functionality that this introduces.

Give a summary of what the PR does, explaining any non-trivial design decisions.

Link of any specific issues this addresses.