I decided to leave Medium. I’m not quite happy with it, how it works and especially in the are of code highlighting (Gist — I do not want to edit my post in several places). Not saying Medium is bad, it just doesn’t suit my needs.