Comment by RvdV

Yes good point! We only had the idea of making this site a few days ago so the UI could use some tweaks. Thanks for the feedback.

UPDATE: made a small PR and fixed it. For now it's most consistent to just use dot separators everywhere.