ocular rewritten

Would raspberry pi count as a hardware extension because when you use the offline scratch editor on a raspberry it shows up as an extension to control the raspberry pi gpio pins.