PhD student at the University of Glasgow. I work on using formal methods to improve network protocol specifications and the network protocol standardisation process.
Add music player and discord to start hook
Add flameshot as screenshot tool
Add support for moving lines up and down
Update README with the new editor