Woah! Another discovery. The GitLab. It helps manage the source code. Long way to go. Just started using it today and am terribly stumbling with the basics.
Digression: Those times when copy and paste doesn’t work. Try this. Double click on the word to be copied. Then click on where you want to paste it. Press Ctrl + Insert followed by Shift + Insert. And you have your material pasted.