Copied notes from my Google Drive account.
approved this merge request
merged
mentioned in commit 435e2b4b