I didn’t check the link but looks like you may have it figured out.
For others that want instructions on how to file an issue see this post.
