re: #135 reine.de.tout

page it!

Done. Thanks for the suggestion! I haven’t paged anything before….