Knowledge Base Tag: install local Debian packages