discontinued somewhat pointless "fixbookmarks": default output works sufficiently well;