SML+WEB: add Liuba Papeo to acknowledgements