Debian developers ponder trademark changes