Redirecting to Zawinski's law of software envelopment