Experiencing a bug with radio targets and html export.

IF set a radio target like <<<Foo>> then the text foo in the body will be linked to #foo, but the radio target has an anchor id of Foo, so the link doesn't work.

I expected the foo text to be linked to #Foo instead.