.gitignore: ignore plugin/target.
plugin: handle proxied annotations.