Support summary button

core/js/get_markers.js

@@ -160,6 +160,7 @@ z-index: 100000;\
     addElementToRects(validRects, document.querySelectorAll('[role="button"]')); // collect role="button"
     addElementToRects(validRects, document.querySelectorAll('textarea')); // collect textarea
     addElementToRects(validRects, document.querySelectorAll('select')); // collect select
+    addElementToRects(validRects, document.querySelectorAll('summary')); // collect summary
 
     let body = document.querySelector('body');
     let markerContainer = document.createElement('div');

core/js/goto_marker.js

@@ -36,6 +36,7 @@
                 moveCursorToEnd(link); // move cursor to the end of line after focus.
             }
         } else if((link.nodeName.toLowerCase() === 'button') || // normal button
+                  (link.nodeName.toLowerCase() === 'summary') || // summary button
                   (link.hasAttribute('aria-haspopup')) || // menu button
                   (link.getAttribute('role') === 'button') || // role="button" buttons
                   (link.classList.contains('btn')) || // class="btn" buttons