Merge branch 'master' into update
Merge branch 'master' into update
new function to compute missing properties of SmoothReflexive objects on a client computer
documentation: fewer categories
repaired bug in poly_db_count