Docs: no need to copy sources, which aren't used anywhere on the site
0.12.2