Looks like @gotfri hasn't received any replies!