@pierre My understanding is that ABS shrinks more than PLA, and this is what causes the size differences when printing the same STL file using the different filaments. I believe PLA shrinks by about 0.1-0.2% where ABS is 0.4-0.8% This is also part of why ABS warps more than PLA.
@Grant-Fraser I think you’re confusing PVA with PLA. PVA (which is essentially white glue) can be washed away. PLA, is definitely not going to wash away.