Facebook auto-generates videos celebrating extremist exploits.