a while back, we added 'id' in front of name to make sure html attribute 'id' does not start with a number. So a name such as 0.2 is id_0.2 and is a valid html attribute. However, the dot, also correct, seems to cause trouble hence this change where the dot is replace by empty string
a while back, we added 'id' in front of name to make sure html attribute 'id' does not start with a number. So a name such as 0.2 is id_0.2 and is a valid html attribute. However, the dot, also correct, seems to cause trouble hence this change where the dot is replace by empty string

sequana/sequana,sequana/sequana,sequana/sequana,sequana/sequana,sequana/sequana