Skip to content

Optimize the GIFs used in library/profiling.sampling.rst for 3.15 #159102

Description

@willingc

Documentation

The tarball size for 3.15 increased significantly (12MB) from 3.14. Two GIFs in library/profiling.sampling.rst can be optimized to reduce their size and reduce the 3.15 tarball size.

Activity

  1. hugovk commented on Oct 10, 2026

    @hugovk
    Member

    Converting to video such as mp4 is also be an option.

  2. vstinner commented on Oct 10, 2026

    @vstinner
    Member

    Nowadays, which video formats are the most supported by web browsers?

  3. pradyunsg commented on Oct 10, 2026

    @pradyunsg
    Member

    Nowadays, which video formats are the most supported by web browsers?

    https://developer.mozilla.org/en-US/docs/Web/Media/Guides/Formats/Video_codecs#recommendations_for_the_web

    An mp4 using H.264 is definitely widely supported (https://caniuse.com/?search=mp4) but av1 is not (https://caniuse.com/?search=av1). A webm video is another option (https://caniuse.com/?search=webm).

  4. pablogsal commented on Oct 10, 2026

    @pablogsal
    Member

    We can also drop the gifs and use static images, that's also on the table (I added the gifs originally) :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

docsDocumentation in the Doc dir

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions