Looks like @michaelweber hasn't received any replies!