anyone think it would be a good idea to have a gp32Linux section ? maybe not as much now but when the project starts to become more popular :)