[23:51:37] <skierpage>	 How do I figure out which version of Debian the WMF cluster (PHP servers) are running? https://wikitech.wikimedia.org/wiki/Operating_system_upgrade_policy _almost_ says, the wikitech pages on servers and clusters don't. Is it hidden in https://apt.wikimedia.org/wikimedia/ ? Thanks!