* Drop stable-3 from weekly CI; migrate stable-4 from nightly to weekly. * Convert copyright docstings to proper copyright comments. (cherry picked from commit 8de0221ae6) Co-authored-by: Felix Fontein <felix@fontein.de>
8de0221ae6