in relation to your posting from Sep 16 title "Unresolved problems": I agree
that you fix the bug
stating that the user icons are not being exported to HTML. I have
documented this agreement also in the bug in the bug tracker.