I am just 1000% opposed to promoting multipurposing the TIPI's PI.
To each their own. I have lots of counter arguments, but none of that has to do with gcc.
(Does anyone really think I waste any time transferring files in my dev workflow when there are 200 ways to automate that for Unix to Unix?)
I can respect your stance on further multi-purposing of the tipi-connected Pi, especially since in increases the likelihood of problems and need for support which is outside the scope of TIPI, but people might still expect you to help.
Also - No, I didn't imagine you were manually copying files. I was referring to the transfer time required, automated or no