DiffPal has moved to https://diffpal.metalagman.dev/.