AIS-catcher-PLUGINS Additional AIS-catcher plugins (not maintained and not written or checked by me).