Backports for 3.8

Some backports for 3.8:

• Fix unintended symbol leakage (!734 (merged))
• Add CI infrastructure for releases (!745 (merged))
• Simplify docs installation process (!747 (merged))

Since it would be nice to have a new stable release to fix the symbols blunder.