doc: improve HTML spacing in release notes