An open-source pocket extension for chromium