Paper and PDF versus interactive HTML