A small collection of Foundation extensions