No, you understood correctly. I just tried it myself and it appeared actually to remove both spaces. At least when I went back in to review the change.
After I posted that suggestion I also got to thinking about the "conversion" process, but typically
is presented/needed when there is an existing space before the character as multiple spaces in html are treated as a single space, but each
is treated as its own space.
So, the "work around" to this at the moment without modifying the sanitizer script is to execute the following sql in tools->Install SQL Patches:
Code:
UPDATE configuration SET configuration_value = ' :: ' WHERE configuration_key = 'BREAD_CRUMBS_SEPARATOR';
This would allow you to also use your "pretty" divider by substituting the applicable code for
leaving/using the single quotes as applicable.
As said though, without modification of the sanitizer file admin/includes/init_includes/init_sanitize.php adding anything within the configuration options that includes characters such as: &, <, >, ', or " (those items encoded by the function htmlspecialchars) will get modified (double encoded essentially) and cause the display that you described above.