re-release under copyleft-next