Gökçehan Kara

I had given up on this proposal as I thought it was going to be too painful to change the syntax at this point. After some thought, I decided that...

@DusanLesan I have taken another look at the PR and unfortunately I still think this is a non-trivial patch. Specifically, it seems to integrate heavily into `nav.preview`. I guess it...

This was probably an error in the wiki. I don't think we ever had an option named `colors` as there is no need for such an option. Option `icons` is...

@joelim-work Thanks for investigating the issue. I don't have much to add this discussion. It is unfortunate that we ended up introducing the `dircache` option instead of fixing the renaming...

@stapelberg Extra `` tags are not inserted when I run `mandoc` myself. You can see the output with regular `mandoc` in my original post. That is executed with `mandoc -Ofragment...

@ilyagr Is there a consensus for this patch? I have read the whole discussion again now. I'm not sure how @laktak 's stdin approach should work but I feel like...

@ilyagr With all due respect, why do you have bindings for rarely used commands? Can't you just keep them as named commands if you rarely use them? Or bind them...

@MinmoTech I'm really tired of saying no to feature requests, so if someone figures out a way to make this work, feel free to send it as a patch and...

@joelim-work Sorry to disappear for a long time and thank you very much keeping everything in order. I will try to go over the PRs that you already approved and...

@joelim-work Thank you very much for keeping the notes up to date. I guess there is nothing else we need for the release now. About the timing of the release,...