1Miranda is a trademark of Research Software Ltd.