Live-update Sphinx attributes (2)

I open a new pull request since #488 can’t be merged anymore because the master branch is gone.