I love Dia, and today I discovered that:

• It can do layers! That work as well as expected in this context
• To save an antialiased PNG, you have to explicitly pick “png (antialiased)” when exporting, it’s in the middle of the list and far away from all the other flavours of .png extensions

Before and after: