Looks like @deinduft hasn't received any replies!