GitHub repository: JoDemVel/pomodoro-timer-extension
Description: Simple pomodoro timer extension to manage your time in webpages.