Documented PianoPedalSpanner.