Looks like @sklopf hasn't received any replies!