pull down to refresh
Habits are easier to form when they are easier to do. But maybe you’re correct, it ultimately would need to be tested to conclude if you are however.
I wouldn’t consider it major either as the code change wouldn’t be significant. I don’t know the code but I would assume a simple JavaScript adjustment to utilise the entire
<div>
.reply
It's a pretty easy habit to fall into. I don't think a major UI change is required.