[copyleft-next] On vacation for about a week