CodeMic: Beyond screencasts – record and replay inside your IDE (demo)