RISC OS ROM changes from 5.16 to 5.18

The changes are described here.