Looks like @zadok hasn't received any replies!