Are astroquery.eso positional queries supported?

The astroquery.eso docs (e.g. for query_instrument) seems to suggest positional queries via the coord1 / coord2 / box arguments should be supported

---
Target Information
------------------
target:
resolver: simbad (SIMBAD name), ned (NED name), none (OBJECT as specified by the observer)
coord_sys: eq (Equatorial (FK5)), gal (Galactic)
coord1:
coord2:
box:
format: sexagesimal (Sexagesimal), decimal (Decimal)
---

but the lack of detailed documentation seems to suggest this might still be in the works?

While the arguments are accepted, it doesn't seem to work (i.e. no selection is enforced according to the input arguments) in version 4.2

Is this still in the process of being implemented, and if so, would it be worth updating the docs?

If it is working, could someone perhps post an example call here (and add it to the docs?)

Thanks!

Start with the astroquery.eso query_instrument entry point and its documentation, then reproduce the version 4.2 behavior using coord1, coord2, and box. Determine whether positional selection is supported; done means either the documented example enforces the supplied coordinates or the documentation clearly states that it is unsupported.

Written by the indexing model from the issue text.