Appears the issue only applies to the person editing. Reloading the page renders code formatting again.
Yeah, it’s a known issue on our “to-fix”-list, we just haven’t gotten to it quite yet. As you say, reloading the page renders it correctly. Actually, it renders correctly for everyone except the person posting (it’s just an issue with the view not updating correctly). But, it’s on the list!