Text this: Decoupled Planning for Multiple Omega-Regular Objectives