Looks like @witschi hasn't received any replies!