README: Remove OS modeling from the TODO list.