option/install: add comments for #418, fixes #418