My first time merging a pull request in github into my own repository but it seemed to go alright! :) Thank you :)
As for header editing I just use notepad... I'm also new to Stud.io! :D
