It would still tank the price. Right now many Bitcoins are lost because no one holds the keys any more. When they can hack it, suddenly the sell pressure significantly goes up.
This is bike shedding. The nuances of which principles to use to convert notebooks to standalone apps are complex with unexpected trade-off, so instead you prefer to focus on the borderline inconsequential point of the format.
This is also similar to the header formatting for Weave.jl, markdown for Julia.[1] This is probably also inspired by R markdown, but I mention it because it seems to be a reasonably common practice in tools for the data science field.
I use vim to browse most logs and have a cheap workaround: a one-liner function with keyboard binding to print the word under cursor converted to local time.