:( Python docstrings are no longer coloured as strings, but comments...