Thanks a lot Ondrej, that’s great to hear!
@stefanv something is up with Ondrej’s previous post, either some infra hiccup or someone flagged it for no good reason (the content is 100% fine and had 2 likes already):
I tried to post a link to the PR that fixed the goto, and Discourse said “I cannot post a link to that site” (github), and then I noticed my previous post was automatically flagged for self promotion. 
Probably because it also has a link to “that site” (github).
As far as I know, the forum does not flag things automatically; someone must have clicked on it by accident. Looks like its fixed now (I can read it in a private browsing window, at least).
1 Like
I think it’s fixed, thanks!