PocketQuery 2025-12-15

This release of PocketQuery is a maintenance release.

Maintenance

• First deployment with the new backend infrastructure (not active yet).

• Backend code improvements.

• Frontend code improvement.