Topic: Pun tags and pun topic online users

Which these extensions are still compatible with 1.3.2? http://punbb.informer.com/trac/browser/ … nk?rev=377