Looks like @frogtux hasn't received any replies!