404 page needs a funny joke (#6) · Issues · Verified Software / psvg.doc.ic.ac.uk