Web developmentLine Clipper for GitHubNickyMateevEfficient navigation between browser and IDE while working on GitHub.Screenshots from Mozilla Add-ons