hide-copyleft messes up next-error. While it is a cool feature, it
isn't essential. Just remove it.