docs on wpilib extensions