Some are happy, some are sad. 
In fact, I would prefer it to become a customizable option that defaults to the / key. Because different groups have different feelings about this, the first Discourse site I encountered required pressing Ctrl+F twice, and according to incomplete statistics, more than 70% of people around me prefer pressing Ctrl+F multiple times to switch between multiple functions that are all for searching purposes, rather than using different key bindings to distinguish between different search functions. Especially since this feature was later changed so that when the number of posts is not large (and it would be even better if this threshold could also be defined), there is no need to press Ctrl+F twice.