For the `Python ide` section, documentation should "prettyfied", to be more in the same "style" as the rest of the doc.