@cstross History repeats itself, first as farce and then as tragedy.