HomeIsabelle/Phabricator

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);