Vouch Request - HTML Formatter bugfix

[RoniJacobson]

What do you want to change?

I found a small bug in html formatting when there is a big input to the terminal - sometimes you end up with two newlines instead of one.

This seems to be caused by the fact that the closing of the div at the end of a page also generates a newline, causing the actual newline to create a second newline.
I believe this is a relatively small fix and that it could be a nice chance to contribute something small (and perhaps more in the future 😁)

Why do you want to make this change?

I'd been playing around with the formatting example, with thoughts of potentially creating something like aha using libghostty, when I stumbled on the bug. It kinda ruins the output for me and i'd love for this to be fixed!

I acknowledge that:

• I have read the Contributing Guide and understand the contribution process.
• I have read and agree to follow the AI Usage Policy.
• I wrote this vouch request myself, in my own voice, without AI generating it.

[jcollie]

!vouch