doc: try to fix bad formatting with GitHub