python3-sphinxcontrib-serializinghtml: serialized HTML files (json and pickle)