Anyhow, around my dates Jakarta-Dublin is about three times the price from Manila, so I will keep investigating Manila.
There do seem to be two main fare points - starting from about US$950 each way and starting from about US$1800 each way. I assumed it was worse and better connections...