Oh nein, das ist ja soooo einfach ... ich habe zwar gewusst, dass man
document.selection.createRange().text
LESEN kann, bin aber seltsamerweise nie auf die Idee gekommen, dass man diese Variable auch SCHREIBEN kann ... *stirnklatsch*
Also, for future reference:
document.selection.createRange().text = '<b>' + document.selection.createRange().text + '</b>';
macht den ausgewählten Text HTML-fett.
-- snorri