sage

9defba85 - src/doc/en/faq/faq-contribute.rst: Replace ancient tutorial and tool lists