GitHub repository: mubaidr/Progressy
Description: Opera 15+ extension to show progress of pages and requests, Uses pace.js