I have previously used some stuff called "repair plaster". It was available ready to use in tubs from at least one of the popular DIY sheds and was blue and very light indeed, much less dense than water, let alone plaster. However it sets almost as hard and smooth as plaster, doesn't shrink or (easily) slump and is probably stronger than plaster in tension/shear. Has anyone anyone any idea what this was called, and whether it is still available?
Thanks in advance.