[17:25] <ogennadi> Hi all. I'd like to make an edit to the official documentation (specifically to add a link for how to set install boot options). I'd like to confirm the link would be useful before filing a bug
[17:26] <ogennadi> is that the right way to contribute official docs?