Breadcrumming.
Merge branch 'master' into luca
Merge branch 'devel' into luca
Working on breadcrumming.
Working on displaying search_path.
Implementing search_path.
Merge branch 'devel' into luca