Just as an example of a plugin. However, we would need to include ours not in the admin header, but somewhere else, and I can't really figure it out, where.