Version 5.65.5

Bug fixes

Work around a bug in Chrome 102 that caused wheel scrolling of the editor to constantly stop.

search addon: Make sure the search field has an accessible label.

comment addon: Preserve indentation on otherwise empty lines when indenting.