Thanks a lot for that. For licensing purposes, by which name would you like to be credited for this patch? Unless you prefer not to be credited. Also, is your patch licensed under the same license as ...