[copyleft-next] Re: Toward better history-keeping for copyleft-next