rev to dev version
Fixes #1129, restore proper dotdot trimming for ID normalization