A place for our Bender plugins