Partial regularity for biharmonic maps, revisited