Fix docsystem to not treat a HTML entity as a Ruby comment
Teach play_pattern_timed to accept a single number as a time