Six small UI polish improvements

Daily review's Accept-all button now shows a busy state, review's Replace-what-you-typed prompt uses the app's own dialog instead of a native browser confirm, and formula, filament, and hazard tooltips can now be opened by tapping or tabbing to them on a phone, not only by hovering with a mouse.