@PJ_Evans @cstross people jokingly call it the Hitler Channel, but all those History Channel documentaries show the same ending of the war! It’s not like this is obscure hidden information.