Snippets (mixed news)

Snippets – 31st August, 2015

News nuggets for you to chew on. The last few months have been very busy with stuff unrelated to RISC OS, so unposted news – particularly smaller items – has built up again. It’s time, therefore, for a snippets post to round up these smaller items.