An in-depth look at GovTech’s new common hosting platform for Singapore Government websites