Looks like @papsi hasn't received any replies!