Posting this for archiving as it may help someone in the future.
Hoover WDM130 washer dryer (but probably relevant to a wide range of machines). Around five years old.
Symptoms: Machine will not spin. Cycle continues normally. Cleaning pressure switch reservoir and replacing brushes did not fix the fault (although both needed doing!).
Removed controller board for checking. Very easy to do with machine on its right side. Undo one screw, cut the tie-wrap, and disconnect three plugs.
Found a very obvious dry-joint on one of the relay connections. Remade with a section of wire to bridge the burnt track. All now working OK.
Roger.