deprecate 'dubious' property
make 'stree' attribute of root optional in map_stree
Merge remote-tracking branch 'refs/remotes/origin/master' into origin-grapheek