Comment by rbanffy

Thank you. I'll check as soon as I can. I remember having asked that in the Ask Different Stack Exchange forum, but I couldn't even find my question.