A script to backport changes (added, modified, and removed files) from 'docs/' and 'sidebars.js' to their versioned counterparts.
Petr Kovar