+ #9: documented RawFormat