Can this be used with Linux? It seems to be based on Flash and Java, but I don't see a Linux download option.