Instructor.fromJson constructor
Implementation
factory Instructor.fromJson(Map<String, dynamic> json) {
final rawMbox = (json['mbox'] as String?) ?? '';
// Strip "mailto:" prefix if present when parsing JSON
final cleanMbox = rawMbox.startsWith('mailto:')
? rawMbox.substring(7)
: rawMbox;
return Instructor(name: (json['name'] as String?) ?? '', mbox: cleanMbox);
}