Allow field "position" in category to be edited manually in product's list

Currently, if we want to change the position of a product in a category, we can do so by dragging and dropping elements. This works great, except when clients have categories with thousands of articles, then it becomes a hurdle to drag products from the bottom to the top. It's a really long process.

It would be great if the field "position" in the category, which is already a column in the products list that we can see, could be edited directly in the listing. Or maybe upon opening the product's edit view.

I don't really see how that would be hard to implement since drag'n'drop already does that, manually changing a position would do the exact same thing without the UX.