Andreas Enge Thu, 08 Jan 2015 14:50:46 -0800
Actually, it turns out that tlpkg is also used by updmap; so please disregard my previous message.
Andreas