Translation field of Label Translation page won't allow double slashes

[SFITCS]

Very minor issue. If you insert double slashes (//) into a label translation field the slashes won't show in the Bureaucracy form. Anything after the double slashes in that particular translation field will not show, but will be followed (in the same Bureaucracy field) with every label following that translation field (the one with the double slashes). Cannot be avoided by escaping, quoting, using nowiki (%%) or ASCII codes.

[Klap-in]

Please could you provide an example of the syntax, I do not know if I got all the details.

[SFITCS]

This demonstrates how using double slashes in the translation field results in them not being shown in the Bureaucracy form, and the translated label field being truncated. Sorry, they can't remember how they triggered it to also display the following translated label field in the same Bureaucracy label (but I also saw it - perhaps it only happens on big forms). It's a very minor issue as they had no compelling reason to use double slashes in the first place (my rewrite of the label was more succinct and didn't use double slashes). playground:example1

<form>
action template _ playground:@@ExampleNumber@@
Labels labels1
Number "ExampleNumber" ++ 0000
Textbox "Website"
Submit "Create a new Example"
Thanks "Thanks"
</form>

playground:labels1

  * ExampleNumber = Example Number
  * Website = Website (Only put the domain or sub-domain name unless site is https e.g. example.com, www.example.com, or, https://example.com)

================================

Different weirdness (which also goes away if double slashes are not used)

playground:example2

<form>
action template _ playground:@@ExampleNumber@@
Labels labels2
Number "ExampleNumber" ++ 0000
Textbox "Website"
Submit "Create a new Example"
Thanks "Thanks"
</form>

playground:labels2

  * ExampleNumber = Example Number
  * Website = Website (Only put the domain or sub-domain name unless site is https e.g. example.com www.example.com or https://example.com)