A halving in pre-tax profits never looks good, but much of the hit came from outside its main operations and included the cost of its IPO and of new employee share schemes. Raspberry Pi’s shares had fallen one-third from a late-January peak but rose on the update, suggesting investor optimism is returning.