"""
Drop-in extension directory.

Any ``.py`` file here that defines a module-level ``Plugin`` becomes a card in
the Extensions tab. See ``_template.py`` for the shape and ``example_patrol.py``
for a working one. Press "Reload extensions" in the UI after editing - no
server restart needed.
"""