"GNU/Linux" not "linux"? I highly doubt we work on Android currently.