I agree with your general point. Are you aware that j and k work in multi-column format too, though k seems to not move enough to make the top of the post visible from under the fixed horizontal bar.