Hello! Your guess was correct. Code highlighting started working right after the update. Many thanks for the help! Best wishes!
