I'm sorry to write so profusely :/ but... a few quick questions re: the github files:
By what author/contributor name would you like to be refered... the one in the bricksperience files? Or the one here? (Or both?)
Is it okay if the github Shark file is a fixed one I made for myself? ;) :P
Do you mind if I fix up the headers of the .ldr files?
Do you mind if I correct the set ids of two of your creations (this would mean changes to the bs files and names as well as the ldr file names)? (One id had a five missing off the end and the other was a typo of the last digit of eight instead of five!) - I just happened to notice as I was looking up dates to correct some of my files and opened one of yours by accident and the search brought up the wrong set; after that I checked the rest, to be safe :)
I haven't submitted anything to github so I can either sumbit your original files and let you cheange them if you want to or else submit the changes myself or sumbit the fixed files directly... no-one ever need now about the mistakes ;) - this post has an edit button too :D :P
Oh, and I tried to get another three Space themed sets in, one has lots of missing bricks that can't be replaced, one has one piece that is core to the whole model that can't be replaced and the third has a bunch of blocks that can be replaced but it is taking time to get it all sorted! (We could really do with the space baseplate being added *sigh* but anyway... I should have one more to add soon though :)