On Mon, Nov 11, 2024 at 7:50 AM Andres Freund <andres@anarazel.de> wrote:
> If you just want that we could print out a file:// url or even open it? Rather
> than an http server?
+1. The coverage-html recipe is a nice example of this; just
control-click the file: link and away you go.
--Jacob