docs/official: Replace 'radamsa' with 'splint'.

This was a mix-up.