NEWS: document more robust handling/recognition of make options