[tag:processor] and [tag:microprocessor] are 2 different tags. Should they be merged since these terms are often used interchangeably?