InstrManager implemented. Work on the views (minimalist but sufficient for now). Starting to work on preference plugin.