Question: How to know the line number corresponding to a buffer position?