Sphinx 7.2.0 was release last night, and Sphinx 7.2.1 this morning. We need the compatibility patch in #172 released now.