Override the default $acronym-seq$ formatting to look for a role
attribute in acronym DocBook tags and use this for the title attribute
in acronym HTML4 tags, which will then give a mouseover definition of
the acronym.