Is Thingiverse deliberately re-licensing GPL code or is it just a clown show?