It seems that code highlighting has been disabled for some time on this site (at least on my side?). I'm not sure, but I think that there was once the possibility to have such a feature, but either my memories are flawed, or the fact that StackOverflow went on to use highlight.js instead of Google Highlight is the reason. It seems however that there was a possibility to do so in the past, as there was a question about improving the code highlighting functionality.
It seems that creating code with
```python
or with
```lang-python
yields the same result, that is no syntax highlighting.
Is there a procedure to do, either on the user side or on the developers', to get back this functionality?