;; automatically generated, don't edit
;; /tmp/hop-3.6.0/weblets/webfilter
;; Fri Dec  2 13:23:57 2022

(
  (weblet_webfilter "webfilter.hop")
)