rst files generated using Pelican. Some bugs in these files should be fixed