Looks like @dennistraub hasn't received any replies!