PEP Tooltip

Add a tooltip alongside PEP numbers in discuss.python.org messages.

As of May 2026, PEP Tooltip has 12 users in the Productivity category.

Usersup 9.1 percent+9.1%
12
12
Ratingno change0%
— reviews
Reviewsno change0%
Version
0.1.0
Manifest V3

History

1 snapshots

Tracking since Apr 25, 2026.

12.0811.510.92Apr 25, 2026May 22, 2026
View as table
DateUsersRatingReviewsVersion
Apr 25, 2026110.1.0
Now120.1.0

Permissions & access

Permissions
None declared
Host access
None declared

Screenshots

PEP Tooltip screenshot 1PEP Tooltip screenshot 2

About

Members of the Python community often refer to Python Enhancement Proposal (PEPs) using only their number, sometimes without a link or additional context. To fully grasp what's been talked about, a quick check on peps.python.org is often necessary: that means opening a new tab/window, resulting in a small defocus and loss of time.

To make things smoother, this extension scans all messages on discuss.python.org and add a ℹ️ emoji next to each occurrence of of the "PEP XXX" pattern. On hover, a tooltip appears displaying key information about the PEP (retrieved from peps.python.org official API).

To keep the popup digest, only a subset of PEP information fields are displayed; these may change based of feedback!

Messages loaded when scrolling one the page are detected and processed too (but not just posted / edited messages, at the moment).

This extension is open-source (hosted at github.com/loic-simon/pep-tooltip) ; it  only requires the permission to read and update content on discuss.python.org. It does not collect any form of data.

Technical

Version
0.1.0
Manifest
V3
Size
30.84KiB
Min Chrome
88
Languages
1
Featured
No

Metadata

ID
fkheggfpgnfefhdannmjnkjehjnceokl
Developer ID
ub845c367ecb23ecd8422a7490add2bcf
Developer Email
[email protected]
Created
Dec 17, 2024
Last Updated (Store)
Dec 17, 2024
Last Scraped
May 22, 2026
Website
Privacy Policy

Similar extensions

Alternatives to PEP Tooltip, ranked by description similarity.

Data sourced from the Chrome Web Store · last verified May 22, 2026.