music pushed to rpms/python-stdlib-list (f38). "Build docs as PDF instead of HTML"