array(1) {
  [0]=>
  string(83) "pretty;board=microcontrollers;topic=whats-happening-in-the-world-of-mips.msg1889030"
}
Location: https://www.eevblog.com/forum/microcontrollers/whats-happening-in-the-world-of-mips/msg1889030/?PHPSESSID=ijl0116t7gm7innod5a9l4mkc5?pretty;board=microcontrollers;topic=whats-happening-in-the-world-of-mips.msg1889030