Hello! and welcome to the lojban edition of wikipedia. The changes you mention are not because of a bug. I made Logobot undo your changes. The current policy for title names (although not formally sanctioned) is that all titles in this wikipedia must be valid lojban words. If you are not familiar with what this means you might want to consider learning the basics at lojban for beginners. But basically, the problem with the title "Linux" is that:

  1. The name is actually pronounced "linuks" (in lojban orthography)
  2. It includes an uppercase Letter

You are free to debate naming policy, at plajva. As I said this is not "official" yet. --.i mu'o mi'e .omologos. 20:26, 9 la daumast. 2009 (UTC)