rmist·vor 7 Jahren·discussHow does this compare to web-extensions like https://github.com/samueljun/tomato-clock which I find is easier to use?