Hi! I am the author of this blog post. The assumptions in the third paragraph were there at least since 16 Feb 2019. See https://github.com/susam/susam.in/commits/master/content/blo... for the change history of this post.