Even if literally no one agreed, I still feel that not this topic is not an option, and I still think that could be derived from the first principle of the site (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...), although I admit that the exact proof escapes me.
