через какое-то время сделайте что-нибудь (и, возможно, также покажите результат в консоли)

Обычно вы можете запросить свой дистрибутив, чтобы узнать, откуда берутся источники. Например, я использую Fedora и вижу, что команда man исходит из пакета man-db :

$ rpm -qf /usr/bin/man
man-db-2.6.7.1-16.fc21.x86_64

Затем я могу запросить man- db для восходящего URL:

$ rpm -qi man-db | grep -i url
URL         : http://www.nongnu.org/man-db/

И вот вы, http://www.nongnu.org/man-db/ .

Вы можете выполнить аналогичную последовательность шагов с системами упаковки, используемыми в других дистрибутивах.