Clarifying how manual should be attributed under CC-BY-SA license.