To Sourceware gdb admin, I am contributing to the following PR: https://sourceware.org/bugzilla/show_bug.cgi?id=24069#add_comment. I made some duplicated comments and would like to edit the page. Therefore, I would like to request for editbugs group access. Best, Louis