#457: use different extension id for home and admin