Looks like @michluc hasn't received any replies!